| 研究課題/領域番号 |
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.
|
