Research Project
Grant-in-Aid for Scientific Research (B)
高階関数を量子コンピュータで実装する高階量子演算を利用し、その連結によって量子プログラミングを記述する関数型の量子プログラミング方法の確立を目指す。関数型量子プログラミングにより、新奇な量子計算アルゴリズムはもちろんのこと、量子学習・量子プログラマブルマテリアルなど、より広い分野へ量子コンピュータを応用する新奇な量子アプリケーションを提案する。また、量子情報処理における時間(=計算の因果構造・情報処理のステップ数)と空間(状態空間の広さ・量子メモリ数)の関係を解明し、情報処理の観点からの量子系における時空構造の基盤的理解を深めることにより、量子コンピュータの新たな特性や効能を見出す。