Translator Reviews ( English → Japanese )
Rating: 60 / 0 Reviews / 16 Jun 2012 at 18:31
Quantum programming is a set of computer programming languages that allow the expression of quantum algorithms using high-level constructs. The point of quantum languages is not so much to provide a tool for programmers, but to provide tools for researchers to understand better how quantum computation works and how to formally reason about quantum algorithms.
Efforts are underway to develop functional programming languages for quantum computing. Examples include Selinger's QPL [1], and the Haskell-like language QML by Altenkirch and Grattage [2][3]. Higher-order quantum programming languages, based on lambda calculus, have been proposed by van Tonder [4], Selinger and Valiron [5] and by Arrighi and Dowek[6].
量子プログラミングとは、高度な構造を用いた量子アルゴリズムを表現するのを可能にするコンピュータープログラミング言語の1つである。量子言語は、プログラマーにはあまりツールとはならないが研究者にとっては、よりよく量子計算の動作を理解するのにとって、また量子アルゴリズムについて正式にどうのように結論づけるかにとってツールとなる。
量子計算用の機能的プログラミング言語を開発する努力は行われている。例えば、SelingerのQPL [1]やAltenkirch や Grattage [2][3]によるHaskellのような言語QMLがある。
ラムダ計算式に基づくより高度な量子プログラミング言語が、van Tonder [4]、 Selinger 、Valiron [5]、 Arrighi、Dowek[6]らによって提案された。