量子ホアー論理の相対的完全性に関する研究

本論文は、量子ホアー論理の相対的完全性を初めて示した。これにより、量子プログラムの正しさを形式的に検証することが可能になった。