• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

関数型プログラミングと圏論的方法を用いた量子アルゴリズムの設計

研究課題

研究課題/領域番号 24KF0136
研究種目

特別研究員奨励費

配分区分基金
応募区分外国
審査区分 小区分60010:情報学基礎論関連
研究機関東京大学

研究代表者

村尾 美緒  東京大学, 大学院理学系研究科(理学部), 教授 (30322671)

研究分担者 ROSSI ZANE MARIUS  東京大学, 大学院理学系研究科(理学部), 外国人特別研究員
研究期間 (年度) 2024-10-01 – 2027-03-31
研究課題ステータス 交付 (2024年度)
配分額 *注記
2,000千円 (直接経費: 2,000千円)
2026年度: 300千円 (直接経費: 300千円)
2025年度: 700千円 (直接経費: 700千円)
2024年度: 1,000千円 (直接経費: 1,000千円)
研究開始時の研究の概要

Our research aims to develop a theory for the efficient composition of quantum algorithmic subroutines manipulating linear operators; as such subroutines can be combined in non-classical ways, formalizing concepts such as recursion and control-flow is non-obvious.

URL: 

公開日: 2024-10-02   更新日: 2025-03-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi