翻訳者レビュー ( 英語 → 日本語 )

備考: http://en.wikipedia.org/wiki/Quantum_programming

英語

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].

日本語

量子プログラミングとは、高度な構造を用いた量子アルゴリズムを表現するのを可能にするコンピュータープログラミング言語の１つである。量子言語は、プログラマーにはあまりツールとはならないが研究者にとっては、よりよく量子計算の動作を理解するのにとって、また量子アルゴリズムについて正式にどうのように結論づけるかにとってツールとなる。

量子計算用の機能的プログラミング言語を開発する努力は行われている。例えば、SelingerのQPL [1]やAltenkirch や Grattage [2][3]によるHaskellのような言語ＱMLがある。
ラムダ計算式に基づくより高度な量子プログラミング言語が、van Tonder [4]、 Selinger 、Valiron [5]、 Arrighi、Dowek[6]らによって提案された。