量子プログラミング言語 - Wikipedia量子プログラミング言語（りょうしプログラミングげんご、英: Quantum programming language）とは量子アルゴリズム（英語版）の表現を実現するプログラミング言語の総称である[1]。量子プログラミング言語は、プログラマーがプログラミングのツールとして使うことを意図したものではなく、研究者の量子コンピュータの振舞いの理解を促進し、研究者が量子アルゴリズムを形式的に論ずるツールとして用いることを意図したものである。 量子プログラミング言語は2つの主要なグループに分けることができる。すなわち、命令型量子プログラミング言語（imperative quantum programming languages）と関数型量子プログラミング言語（functional quantum programming languages）の2つである。 命令型量子プログラミング言語のうち、もっとも有
