量子プログラミング言語量子プログラミング言語 蓮尾 一郎（東京大学大学院情報理工学系研究科） 星野 直彦（京都大学数理解析研究所） 量子プログラミング言語とは――研究の動機 量子計算の分野においてアルゴリズムを記述するためには，図 1 のような量子回路が用 いるのが一般的だろう．一方で，（量子でない）古典アルゴリズムを回路で表現するこ とはあまりなく擬似コードとよばれるプログラムもどきが用いられる．この一点にお いてすでに「量子計算のためのプログラミング言語とはどのようなものか？」という疑 問が自然に浮かびあがるのであり，筆者らはこの疑問に答えるべく（おもに数学的なア プローチから）研究を行っている．しかし以下ではさらにもう少し，「量子プログラミ ング言語の実現によって何が可能となるのか？」ということについて論じたい． 図 1： 量子回路の例（量子テレポーテーション） 論理的記述と物理的実装の分離 まず一つの
