量子プログラミング言語
量子プログラミング言語(りょうしプログラミングげんご、英: Quantum programming language)とは量子アルゴリズム(英語版)の表現を実現するプログラミング言語の総称である。量子プログラミング言語は、プログラマーがプログラミングのツールとして使うことを意図したものではなく、研究者の量子コンピュータの振舞いの理解を促進し、研究者が量子アルゴリズムを形式的に論ずるツールとして用いることを意図したものである。
量子プログラミング言語は2つの主要なグループに分けることができる。すなわち、命令型量子プログラミング言語(imperative quantum programming languages)と関数型量子プログラミング言語(functional quantum programming languages)の2つである。
Quantum Guarded Command Language (qGCL)はP. Zulianiによって、彼の博士論文において定義された。これはエドガー・ダイクストラによって作られたGuarded Command Languageを基にしている。
qGCLは量子プログラムの言語仕様として評されている。