事後チェック

世界で初めて、量子計算本体と計算チェックのプロセスを分離できる理論プロトコルを提案しました。これにより、量子コンピューターの信頼度の高さに応じて量子計算の正しさを事後チェックすることが可能となります。