量子プログラミング言語
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/09/22 00:14 UTC 版)
量子プログラミング言語(りょうしプログラミングげんご、英: Quantum programming language)とは量子アルゴリズムの表現を実現するプログラミング言語の総称である[1]。量子プログラミング言語は、プログラマーがプログラミングのツールとして使うことを意図したものではなく、研究者の量子コンピュータの振舞いの理解を促進し、研究者が量子アルゴリズムを形式的に論ずるツールとして用いることを意図したものである。
- ^ Jarosław Adam Miszczak. “High-level Structures in Quantum Computing”. 2015年12月12日閲覧。
- ^ Bernhard Omer. “The QCL Programming Language”. 2016年2月11日閲覧。
- ^ Hynek Mlnařík. “LanQ – a quantum imperative programming language”. 2016年2月11日閲覧。
- ^ Peter Selinger, "Towards a quantum programming language", Mathematical Structures in Computer Science 14(4):527-586, 2004.
- ^ a b 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)
- ^ Andre 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
- ^ Peter Selinger and Benoît Valiron, "A lambda calculus for quantum computation with classical control", Mathematical Structures in Computer Science 16(3):527-552, 2006.
- ^ Pablo Arrighi, Gilles Dowek, "Linear-algebraic lambda-calculus: higher-order, encodings and confluence", 2006
- ^ Quantum Development Kit
- ^ Philip Maymin, "Extending the Lambda Calculus to Express Randomized and Quantumized Algorithms", 1996
- ^ André van Tonder. “A lambda calculus for quantum computation (website)”. 2016年2月11日閲覧。
- ^ Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron. “The Quipper Language (website)”. 2016年2月11日閲覧。
- ^ Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron (2013年). “An Introduction to Quantum Programming in Quipper”. 2016年2月11日閲覧。
- 1 量子プログラミング言語とは
- 2 量子プログラミング言語の概要
- 3 外部リンク
- 量子プログラミング言語のページへのリンク