Translator Reviews ( English → Japanese )

Additional info: http://en.wikipedia.org/wiki/Quantum_programming

English

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

Japanese

量子プログラミングは高レベル構成の量子アルゴリズムを使ったコンピュータープログラミング言語の集合です。目的はプログラマーにツールを提供する事ではなく、研究者が量子コンピューター、量子アルゴリズム構成の理由についてよりよく理解する為のツールの提供です。

量子コンピューティングの為の組込関数の開発が行われています。例としてはSelingerのQPL [1]、Altenkirchと Grattage [2][3]によるHaskellのような言語のQMLです。ラムダ計算に基づく、高度の量子プログラミング言語がvan Tonder [4]、Selingerと Valiron [5] と Arrighi／ Dowek[6]により提案されています。