【量子コンピュータ】JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現
JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現北陸先端科学技術大学院大学(JAIST)は12月19日、「並行動的量子論理」を提案し、それに基づく「並行量子通信プロトコル」の完全な自動形式検証、つまりヒトによる補助(補題の発見と入力)を一切必要とせず、従来手法と比較して労力を大幅に削減することが可能な、完全な自動定理証明による形式検証に初めて成功したことを発表した。
関連ニュース
-
★科学ニュース＋ 52res 0.0res/h
【材料】毎日の入浴で体温を約1°C上げると健康維持に有効 - バスクリンが実証
-
★科学ニュース＋ 40res 0.0res/h
【ナゾロジー】フクロウの首はなぜあんなに回るのか?
-
★科学ニュース＋ 75res 0.0res/h
【ナゾロジー】なぜ子供は「同じお話」を何度も見たがるのかを認知科学が解明
-
★科学ニュース＋ 6res 0.0res/h
【通信】NTT、屋外環境で世界最大容量455テラビット毎秒の安定伝送に成功。長距離化も
-
★科学ニュース＋ 18res 0.0res/h
【ナゾロジー】絶対濡れない魔法の砂「疎水性砂」の不思議な挙動
-
★科学ニュース＋ 26res 0.0res/h
【鳥】「世界最高齢」のアホウドリ、74歳で再び産卵
-
★科学ニュース＋ 70res 0.0res/h
【AI】AIはわずか2時間の対話で人間の性格をコピーできる
-
★ニュース速報＋ 393res 3.2res/h
梅毒匿名検査、女性に陰性と誤通知「心当たりのある人は早急に申し出て」札幌
-
★科学ニュース＋ 9res 0.0res/h
【AI】ロボットがロボットを「誘拐」? 「集団逃走」でAIに懸念の声も―中国
科学ニュース＋
投稿時速：12res/h
【気象】ドカ雪の背景に地球温暖化か 専門家「東京でも十分起こり得る」
-
19res 2.7res/h 25.0%
【宇宙開発】「スペースコロニー」京都大学と鹿島建設が本気で研究 月に1万人居住構想、火星へ「銀河鉄道」も
-
35res 5.0res/h 25.0%
【気象】ドカ雪の背景に地球温暖化か 専門家「東京でも十分起こり得る」
-
6res 0.2res/h 25.0%
【感染症】鳥インフル、人から飼い猫に感染の可能性 米研究
-
44res 0.8res/h 25.0%
【AI】AIはチェスで負けそうになるとチートする
-
10res 3.9res/h 0.0%
埼玉にも魔除け…わざと柱を未完成の状態に 熊谷の諏訪神社、日光東照宮・陽明門の「逆さ柱」と類似の手法で施工
-
17res 2.4res/h 0.0%
【化学】安価にアンモニア合成…東京科学大、触媒にケイ酸塩化合物で成功
-
23res 3.3res/h 0.0%
【感染症】中国・武漢で新種のコウモリコロナウイルス衝撃…「ヒトに感染可能」
-
41res 1.4res/h 0.0%
【がん】がんが転移するのは「活性酸素から逃げる」ためだった 京都大など
-
6res 0.2res/h 0.0%
【古生物学】原始的な短い尾の新種鳥類 1億4900万年前の化石発見―中国
-
52res 1.8res/h 0.0%
【AI】AIが「スーパー耐性菌」の難題を2日で解明 科学者が10年かけたのと同じ結論に
