Algebraic Specification for Concurrent Quantum Computation

Research Project

Project/Area Number	24K23858
Research Category	Grant-in-Aid for Research Activity Start-up
Allocation Type	Multi-year Fund
Review Section	1001:Information science, computer engineering, and related fields
Research Institution	Japan Advanced Institute of Science and Technology
Principal Investigator	高木翼北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 (30994769)
Project Period (FY)	2024-07-31 – 2026-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000) Fiscal Year 2025: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000) Fiscal Year 2024: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Keywords	代数的仕様記述 / 量子計算 / 並行計算 / 量子プロトコル / 等式論理
Outline of Research at the Start	本研究の目的は、量子計算の仕様を厳密に記述することで、高信頼量子計算を実現することにある。特に、本研究ではその複雑さから厳密な仕様が要求される並行量子計算の代数的仕様記述を行う。具体的には、①量子計算の代数的仕様記述、②並行計算の代数的仕様記述、③並行量子計算の意味論に対する健全性の証明、④以上の成果に基づく代数的仕様の計算機への実装の四つの課題に取り組む。