メリーランド大学とザパタ・クオンタム、量子アルゴリズムの形式検証で提携

メリーランド大学とザパタ・クオンタム（OTC: ZPTA）は、量子ソフトウェア開発における形式検証の実装に向けた研究協力体制を立ち上げました。この提携は、数学的証明を用いることで、手作業によるエラーを起こしやすいコーディングから脱却し、量子アルゴリズムが規模を拡大しても正しく動作することを保証することを目指しています。この取り組みは、ミッションクリティカルな古典コンピューティングでは標準的な実践である「検証ファースト」モデルを確立しようとするもので、これまで量子アプリケーション開発においては未発達な分野でした。