【量子コンピュータ】JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現 [すらいむ★]

**すらいむ ★** · 2024/12/20(金) 22:44:51.98

JAIST、「並行量子通信プロトコル」の完全な自動形式検証を実現

　北陸先端科学技術大学院大学(JAIST)は12月19日、「並行動的量子論理」を提案し、それに基づく「並行量子通信プロトコル」の完全な自動形式検証、つまりヒトによる補助(補題の発見と入力)を一切必要とせず、従来手法と比較して労力を大幅に削減することが可能な、完全な自動定理証明による形式検証に初めて成功したことを発表した。

（以下略、続きはソースでご確認ください）

マイナビニュース　2024/12/20 14:30
https://news.mynavi.jp/techplus/article/20241220-3090485/

**名無しのひみつ** · 2024/12/21(土) 11:04:31.06

大学院大学って
学歴厨が評価しない大学の典型だなｗ
その分野の人に限れば「うげぇプロの天才が来た」って感じでビビるんだが

**名無しのひみつ** · 2024/12/21(土) 12:46:16.75

盗み見されたことを検出できるのはよいとして
その後どうすんの？

**名無しのひみつ** · 2024/12/21(土) 20:07:46.98

良く判りませんが、凄いと思います。

**名無しのひみつ** · 2024/12/22(日) 18:12:52.78

>>2
創価チョン統一チョン公務員に乗っ取られてる中身ゼロの政策研究大学院大学というのがあってだな
ピンキリ