メリーランド大学とザパタ・クォンタムが量子アルゴリズムの形式検証でパートナーシップを締結
メリーランド大学とZapata Quantumは、量子コンピュータのプログラムが正しく動作することを数学的に証明する「形式的検証」技術の共同研究を開始しました。量子コンピュータが実…
形式検証の記事一覧
形式検証に関する記事2本を、新しい順に掲載しています。
特集
学術研究
量子トレンド②古典に追いつかれた夏―優位性の主張が検証にさらされた
2026年の夏、量子の成果を古典計算が再現する報告が続きました。77量子ビットの実験がノートPCで1分未満に再現され、電力潮流計算では優位性が形式検証付きで否定されました。否定にも2種類あることを整理します。