研究課題
特別研究員奨励費
近年、次世代型の計算機として開発が期待されている量子コンピュータの実現に向けて、その計算手続きを簡便な物理的回路によって実現するための理論的な枠組みとして、図式を用いた計算モデルについて研究する。先行研究では、ZX-calculusと呼ばれる図式計算モデルが確立されており、様々な応用が提案されているが、本研究では、この手法を光やマイクロ波といった連続量量子系に拡張し、量子計算の効率化を行うプログラムの開発を行うことを目標とする。