- 著者
-
河野 友亮
- 出版者
- 東京工業大学
- 雑誌
- 若手研究
- 巻号頁・発行日
- 2020-04-01
量子論理は量子力学の観測命題を分析する分野であり、量子情報科学への応用上も重要な論理であるが、現状では分析できる事柄が十分でないという問題が存在する。そこで本研究では、観測者の知識の変化等の、量子論理に不足している概念の中でも重要と思われる概念を様相論理記号として追加し、有用な量子論理の発展系を構成することを目的とする。結果として、量子回路モデルの分析という量子力学方面の成果と、数理論理学方面に有用な道具や分析が得られることが期待される。