本論文は、量子ホアー論理(QHL)の相対的完全性を初めて示した。QHLは、量子プログラムの正しさを形式的に検証するための手法である。
論文の主な内容は以下の通り:
本研究の成果により、量子プログラムの正しさを形式的に検証することが可能になった。これは、量子コンピューティングの発展に大きく貢献するものと期待される。
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Xin Sun,Xing... lúc arxiv.org 05-06-2024
https://arxiv.org/pdf/2405.01940.pdfYêu cầu sâu hơn