QFCおよびQPL
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/17 00:56 UTC 版)
「量子プログラミング言語」の記事における「QFCおよびQPL」の解説
QFCとQPLは互いに関連性の強い量子プログラミング言語であり、Peter Selingerによって定義された。QFCとQPLの違いは単に構文の違いによるものである。QFCはflow chart構文を用いているが、QPLはtextual構文を用いている。QFCとQPLは古典的な制御フローを用いているが、量子データと古典的データの双方を扱うことができる。Selingerはen:superoperatorの分野においてQFCとQPLに表示的意味（denotational semantic）を与えている。
※この「QFCおよびQPL」の解説は、「量子プログラミング言語」の解説の一部です。
「QFCおよびQPL」を含む「量子プログラミング言語」の記事については、「量子プログラミング言語」の概要を参照ください。
ウィキペディア小見出し辞書の「QFCおよびQPL」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- QFCおよびQPLのページへのリンク
