【量子コンピュータ】JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現
JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現北陸先端科学技術大学院大学(JAIST)は12月19日、「並行動的量子論理」を提案し、それに基づく「並行量子通信プロトコル」の完全な自動形式検証、つまりヒトによる補助(補題の発見と入力)を一切必要とせず、従来手法と比較して労力を大幅に削減することが可能な、完全な自動定理証明による形式検証に初めて成功したことを発表した。
関連ニュース
-
★科学ニュース＋ 47res 0.8res/h
【材料】毎日の入浴で体温を約1°C上げると健康維持に有効 - バスクリンが実証
-
★科学ニュース＋ 33res 0.2res/h
【ナゾロジー】フクロウの首はなぜあんなに回るのか?
-
★科学ニュース＋ 71res 0.4res/h
【ナゾロジー】なぜ子供は「同じお話」を何度も見たがるのかを認知科学が解明
-
★科学ニュース＋ 6res 0.0res/h
【通信】NTT、屋外環境で世界最大容量455テラビット毎秒の安定伝送に成功。長距離化も
-
★科学ニュース＋ 13res 0.0res/h
【ナゾロジー】絶対濡れない魔法の砂「疎水性砂」の不思議な挙動
-
★科学ニュース＋ 23res 0.0res/h
【鳥】「世界最高齢」のアホウドリ、74歳で再び産卵
-
★科学ニュース＋ 70res 0.2res/h
【AI】AIはわずか2時間の対話で人間の性格をコピーできる
-
★ニュース速報＋ 393res 3.2res/h
梅毒匿名検査、女性に陰性と誤通知「心当たりのある人は早急に申し出て」札幌
-
★科学ニュース＋ 9res 0.0res/h
【AI】ロボットがロボットを「誘拐」? 「集団逃走」でAIに懸念の声も―中国
科学ニュース＋
投稿時速：9res/h
【宇宙論】宇宙物理学の未解決問題「なぜ大質量のブラックホールが存在するのか?」考えられている2つのモデルと問題点
-
8res 1.3res/h 33.3%
【理研】雇い止め対応変遷 事実上の「無期転換封じ」に訴訟相次ぐ
-
6res 1.0res/h 33.3%
硫化水素中毒の解毒剤 同志社大学と佐賀大学が開発に成功
-
53res 0.0res/h 33.3%
【ナゾロジー】「幸せになりたい」漠然とした目標を持つ人は幸福度が向上しない
-
5res 0.8res/h 0.0%
【宇宙論】宇宙物理学の未解決問題「なぜ大質量のブラックホールが存在するのか?」考えられている2つのモデルと問題点
-
4res 0.6res/h 0.0%
【AI】日本は「AI成熟度」2番手グループ国 米中など5カ国が最上位G
-
8res 1.3res/h 0.0%
【ナゾロジー】なぜ犬を家族と感じるのか?その驚くべき理由
-
1res 0.1res/h 0.0%
【量子コンピュータ】JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現
-
34res 1.0res/h 0.0%
【ナゾロジー】「コナン細菌」人間が死ぬ数万倍の放射線に耐えられる秘密を解明!
-
62res 1.9res/h 0.0%
【宇宙開発】グルグルぽーん!で飛んでく宇宙船、 1万G負荷テストをクリアしました
-
6res 0.1res/h 0.0%
既存の動画生成AIを8倍高速化できる「FastVideo」登場
