【量子コンピュータ】JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現
JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現北陸先端科学技術大学院大学(JAIST)は12月19日、「並行動的量子論理」を提案し、それに基づく「並行量子通信プロトコル」の完全な自動形式検証、つまりヒトによる補助(補題の発見と入力)を一切必要とせず、従来手法と比較して労力を大幅に削減することが可能な、完全な自動定理証明による形式検証に初めて成功したことを発表した。
2ちゃんねるニュース速報+ナビ
JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現北陸先端科学技術大学院大学(JAIST)は12月19日、「並行動的量子論理」を提案し、それに基づく「並行量子通信プロトコル」の完全な自動形式検証、つまりヒトによる補助(補題の発見と入力)を一切必要とせず、従来手法と比較して労力を大幅に削減することが可能な、完全な自動定理証明による形式検証に初めて成功したことを発表した。
JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現北陸先端科学技術大学院大学(JAIST)は12月19日、「並行動的量子論理」を提案し、それに基づく「並行量子通信プロトコル」の完全な自動形式検証、つまり...
脳に磁場をかけて「うつ病」を5日で改善!自宅で出来る治療法の開発脳に微弱な磁場を与えることで、うつ病を短期治療できるようです。うつ病には、薬物療法、心理療法に次ぐ第3の治療法として「rTMS治療(=反復経頭蓋...
Wi-Fiの通信距離を長距離化させる新技術「WiLo」のテストに成功、最大500mの通信が実証される中国の南京林業大学情報科学技術学院の教授であるデミン・ガオ氏を筆頭とする研究チームが、既存のWi-FiとLong Range(LoR...
PROJECT SKY BLUEは8月28日、2025年1月18日をもって『BLUE PROTOCOL』のサービスを終了すると発表した。発表当初から大きな注目を浴びた話題作がなぜ、1年半という短期間で幕引きとなってしまったのか。その理由から...
東大、「量子バッテリー」の充電に関する革新的なプロトコルを提案東京大学(東大)は12月14日、量子開放系の一種である「量子衝突モデル」において、「不確定因果順序」に由来する特異な効果を発見し、同効果を活用し...
IoT標準規格「Matter」の次世代通信プロトコル「Thread」は何がすごいのか?モノのインターネット(IoT:Internet of Things)の標準規格であるMatterは、AmazonやApple、Googleらが参加する標準団体「Connectivity Stan...
Twitterに代わるSNSプロトコルとして注目を集める「Nostr」とは一体どういう仕組みなのか?TwitterやFacebookといった一企業が運営しているSNSは、企業の方針により投稿が削除されたり、ある日突然使えなくなってしま...
‘We have made science fiction come true!’ Scientists prove particles in a quantum system can be rejuvenated SFは現実のものとなりました!科学者らは粒子が若返ることを証明します。...
2022年10月27日 13時43分 12月2日に日本で発売予定だった海外のサバイバルホラーゲーム「カリストプロトコル」が、年齢制限「CEROレーティング」を取得できなかったため発売中止となることが分かった。27日に同ゲー...
インターネット関連技術の標準化を手掛けるIETF(Internet Engineering Task Force)は2022年6月6日(米国時間)、通信プロトコル「HTTP/3(HyperText Transport Protocol/3)」を「RFC 9114」として勧告した。HTTP/3はイ...
ワシントン・ウィザーズを指揮するウェス・アンセルドJr.ヘッドコーチは6日(現地時間5日、日付は以下同)、ヒューストン・ロケッツ戦前の試合会見で、八村塁が安全・衛生プロトコルから外れたと明らかにした。八村は...
スポニチアネックス プロトコルの対象となって戦列を離れたラプターズの渡辺(AP)カナダのトロントを本拠にしているNBAラプターズの渡辺雄太(27)とウクライナ出身のスビアトスラフ・マハイルーク(24)の2選手が4日、ホ...
DFフアン・ベルナト、GKセルヒオ・リコ、DFネイサン・ビツマザラも陽性判定パリ・サンジェルマン(PSG)は1月2日、アルゼンチン代表FWリオネル・メッシら4選手が検査で新型コロナウイルスの陽性となったことを発表した...
NBAは20日(現地時間19日、日付は以下同)、複数の選手やコーチ、スタッフが新型コロナウイルスの安全衛生プロトコル入りしたため、下記の5試合の延期を発表した。...
12月14日(現地時間13日、日付は以下同)。NBAはシカゴ・ブルズが予定していた15日のデトロイト・ピストンズ戦、17日のトロント・ラプターズ戦の延期を発表した。ブルズは13日終了時点でイースタン・カンファレンス3位...
日本時間7月16日(現地15日)、USAバスケットボールは翌17日(同16日)に予定されていたオーストラリア代表とのエキシビションマッチがキャンセルになったと発表した。理由は健康・安全プロトコルによるものだとしている...
TCPに代わる次世代のインターネット通信プロトコル「QUIC」が正式スタート、RFC 9000の発表でインターネット技術の標準化団体であるIETFが、TCPに代わるインターネット通信プロトコルとして注目を集めているQUICの技...
三井住友フィナンシャルグループは12日、取引先の二酸化炭素(CO2)排出量を把握し、削減に向けた目標を定めると発表した。まず石油やガス、電力などCO2排出量の多い業種から始め順次、対象を広げる。取引先など事業に...
言論の自由を取り巻く問題を解決する「プロトコルに基づいた仕組み」とは?近年ではオンラインのプラットフォームにおける差別的、あるいは過激な発言の規制が叫ばれていますが、その一方で人々の「言論の自由」をど...
現地17日(日)に臨んだクリーブランド・ブラウンズとのディビジョナルラウンドで、第3クオーターに途中離脱したカンザスシティ・チーフスのクオーターバック(QB)パトリック・マホームズは現在も脳しんとうプロトコル...
ハイリスク集団の療養施設などを対象に、一度に最大10人の新型コロナウイルスへの感染の有無を確認するプーリング検査が開発された。短期間に大量の検体を診断し、集団感染の拡大を遮断するのに役立つものとみられる...
CloudFlareは、同社のNetwork Time Security(NTS)プロトコルの最初のメジャーリリースを発表した。同社が以前リリースした、Network Time Protocol(NTP)とNTSをサポートする無償のタイムサービズであるtime.cloudfla...
クラウド時代のアプリケーションは、複数のソフトウェアがAPIを通じて連携するアーキテクチャが主流になると考えられています。そのため、さまざまなソフトウェアにおいて正確かつ確実にAPIを実装することの重要性が...
2019年に本格的に提供が始まるとみられる5Gネットワークに、研究者らが脆弱性を発見した。...
Windows 10を搭載したパソコンがネットワーク上のNAS(ネットワーク接続ハードディスク)につながらなくなるというトラブルが相次いでいる。引き金となったのは、Windows 10に半年に一度のペースで提供される「Future ...
このサイトは5ちゃんねる(旧2ちゃんねる)のニュース速報+系掲示板の書き込みを自動解析し、人気の高いニュース及び最新のニュースをリアルタイムで提供しています。
2NN現在閲覧者数 6907人/10min
5ちゃんねる(旧2ちゃんねる)ニュース速報+系掲示板の情報をそれぞれ1分~10分間隔で自動取得・解析更新しています。
開発・運営:中島竜馬