Building an Integrated Development Support Environment for Quantum Programs Based on Program Dependency Theory

KAKEN

About This Project

Japan Grant Number
JP24K14908 (JGN)
Funding Program
Grants-in-Aid for Scientific Research
Funding Organization
Japan Society for the Promotion of Science

Kakenhi Information

Project/Area Number
24K14908
Research Category
Grant-in-Aid for Scientific Research (C)
Allocation Type
  • Multi-year Fund
Review Section / Research Field
  • Basic Section 60050:Software-related
Research Institution
  • Kyushu Sangyo University
Project Period (FY)
2024-04-01 〜 2027-03-31
Project Status
Granted
Budget Amount*help
4,550,000 Yen (Direct Cost: 3,500,000 Yen Indirect Cost: 1,050,000 Yen)

Research Abstract

量子コンピュータは古典コンピュータと比べ、全く異なる性質を持つため、量子プログラムの挙動の予測は極めて困難である。そのため、量子プログラムのテスト、デバッグ、及び保守はコストが高くて非常に難しい。本研究では、高信頼量子プログラムの系統的開発法を確立することを目的としている。具体的には、量子プログラムの挙動における依存関係を究明し、依存性理論を構築する。これらの依存性理論に基づいて、量子プログラムのテスト、デバッグ、及び保守に関する新しい手法を提案し、量子プログラムの開発支援環境の実現と評価を行う。本研究の進展により、高信頼量子プログラムを効率よく系統的に開発することが期待できる。

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Keywords

Details 詳細情報について

Back to top