量子編程

量子編程（Quantum programming）是匯編指令序列之行程，稱為量子程序，能夠在量子計算機上運行。量子編程語言使用高級結構化的形式以助表達量子演算法的計算。

量子指令集
量子指令集用於將更高級別的演算法轉換為可以在量子處理器上執行的物理指令。有時這些指令是特定於給定的硬體平台，例如離子阱或。

cQASM
cQASM，也稱為通用QASM，是一種與硬體無關的QASM，可保證所有量子編譯以及仿真工具之間的互相操作性。它是由TUDelft的QCA實驗室所引入的。

Quil

Quil是一種用於量子計算的指令集架構，它首先引入了共享量子/經典的記憶模型。它是由"羅伯特·史密斯"(Robert Smith)、"邁克爾·柯蒂斯"(Michael Curtis)，與"威廉·曾"(William Zeng)在"實用量子指令集架構"(A Practical Quantum Instruction Set Architecture)一文中介紹的。許多量子算法（包括量子隱形傳態、、模擬、以及優化演算法）需要共享記憶架構。

OpenQASM

OpenQASM是 IBM 引入用於Qiskit及的中介表示。

Blackbird
Blackbird是及史特貝利菲爾德公司(Strawberry Fields)使用的量子指令集與中介所表示的。Blackbird旨在表示可以於光子量子硬體上運行的量子程序。

量子编程语言
量子编程语言主要有两类：命令式量子编程语言和函数式量子编程语言。
命令式编程语言
命令式语言最著名的代表是 QCL、 LanQ 和 Q|SI>。
函数式语言
正在致力于开发用于量子计算的函数式编程语言。函数式编程语言非常适合进行程序推理。一些示例包括 Selinger 的 QPLPeter Selinger, "Towards a quantum programming language" , Mathematical Structures in Computer Science 14(4):527-586, 2004.、Haskell 类 Altenkirch 和 Graattage 的 QML 语言Jonathan Grattage: QML Research  (website)T. Altenkirch, V. Belavkin, J. Grattage, A. Green, A. Sabry, J. K. Vizzotto, QML: A Functional Quantum Programming Language  (website)。高阶量子编程语言，基于lambda演算，由 van TonderAndre van Tonder, "A Lambda Calculus for Quantum Computation", SIAM J. Comput., 33(5), 1109–1135. (27 pages), 2004. Also available from arXiv:quant-ph/0307150 、Selinger 和 ValironPeter Selinger and Benoît Valiron, "A lambda calculus for quantum computation with classical control" , Mathematical Structures in Computer Science 16(3):527-552, 2006. 以及 Arrighi 和 DowekPablo Arrighi, Gilles Dowek, "Linear-algebraic lambda-calculus: higher-order, encodings and confluence" , 2006 提出。

 参見 

 量子计算
 量子图灵机
 量子算法
 秀尔算法
 量子比特
 量子信息科学
 量子计算优越性

註釋

延伸閱讀



參閱

外部連結

 Bibliography on Quantum Programming Languages  (updated in May 2007)
 5th International Workshop on Quantum Physics and Logic 
 4th International Workshop on Quantum Programming Languages 
 3rd International Workshop on Quantum Programming Languages 
 2nd International Workshop on Quantum Programming Languages 
 Quantum programming language  in Quantiki 
 QMASM documentation 
pyQuil documentation  including Introduction to Quantum Computing 
 Scaffold Source 
 Curated list  of all open-source quantum software projects

Category:量子編程
Category:编程语言分类
Category:编程范式
Category:量子計算
Category:量子信息