プログラム依存性理論に基づく量子プログラムの統合的開発支援環境の構築
研究課題情報
- 体系的番号
- JP24K14908 (JGN)
- 助成事業
- 科学研究費助成事業
- 資金配分機関情報
- 日本学術振興会(JSPS)
科研費情報
- 研究課題/領域番号
- 24K14908
- 研究種目
- 基盤研究(C)
- 配分区分
-
- 基金
- 審査区分/研究分野
-
- 小区分60050:ソフトウェア関連
- 研究機関
-
- 九州産業大学
- 研究期間 (年度)
- 2024-04-01 〜 2027-03-31
- 研究課題ステータス
- 交付
- 配分額*注記
- 4,550,000 円 (直接経費: 3,500,000 円 間接経費: 1,050,000 円)
研究概要
量子コンピュータは古典コンピュータと比べ、全く異なる性質を持つため、量子プログラムの挙動の予測は極めて困難である。そのため、量子プログラムのテスト、デバッグ、及び保守はコストが高くて非常に難しい。本研究では、高信頼量子プログラムの系統的開発法を確立することを目的としている。具体的には、量子プログラムの挙動における依存関係を究明し、依存性理論を構築する。これらの依存性理論に基づいて、量子プログラムのテスト、デバッグ、及び保守に関する新しい手法を提案し、量子プログラムの開発支援環境の実現と評価を行う。本研究の進展により、高信頼量子プログラムを効率よく系統的に開発することが期待できる。
詳細情報 詳細情報について
-
- CRID
- 1040299749912430592
-
- 本文言語コード
- ja
-
- データソース種別
-
- KAKEN
