• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Quantum algorithm design from functional programming and category-theoretic technique

Research Project

Project/Area Number 24KF0136
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeMulti-year Fund
Section外国
Review Section Basic Section 60010:Theory of informatics-related
Research InstitutionThe University of Tokyo

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) ROSSI ZANE MARIUS  東京大学, 大学院理学系研究科(理学部), 外国人特別研究員
Project Period (FY) 2024-10-01 – 2027-03-31
Project Status Granted (Fiscal Year 2024)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 2026: ¥300,000 (Direct Cost: ¥300,000)
Fiscal Year 2025: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2024: ¥1,000,000 (Direct Cost: ¥1,000,000)
Outline of Research at the Start

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: 

Published: 2024-10-02   Modified: 2025-03-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi