研究課題/領域番号 |
23K21643
|
研究種目 |
基盤研究(B)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60010:情報学基礎論関連
|
研究機関 | 東京大学 |
研究代表者 |
村尾 美緒 東京大学, 大学院理学系研究科(理学部), 教授 (30322671)
|
研究期間 (年度) |
2024-04-01 – 2026-03-31
|
研究課題ステータス |
交付 (2024年度)
|
配分額 *注記 |
7,020千円 (直接経費: 5,400千円、間接経費: 1,620千円)
2025年度: 3,250千円 (直接経費: 2,500千円、間接経費: 750千円)
2024年度: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
|
キーワード | 量子アルゴリズム / 量子プログラミング / 高階量子計算 / 量子アプリケーション / 量子コンピューティング |
研究開始時の研究の概要 |
高階関数を量子コンピュータで実装する高階量子演算を利用し、その連結によって量子プログラミングを記述する関数型の量子プログラミング方法の確立を目指す。関数型量子プログラミングにより、新奇な量子計算アルゴリズムはもちろんのこと、量子学習・量子プログラマブルマテリアルなど、より広い分野へ量子コンピュータを応用する新奇な量子アプリケーションを提案する。また、量子情報処理における時間(=計算の因果構造・情報処理のステップ数)と空間(状態空間の広さ・量子メモリ数)の関係を解明し、情報処理の観点からの量子系における時空構造の基盤的理解を深めることにより、量子コンピュータの新たな特性や効能を見出す。
|