
294
14
章 最先端を行く:文献案内
執筆時点では、量子プログラミング言語と量子ソフトウェアのツールチェーンの研究は、従来型のコ
ンピューティングの専門家からのフィードバック、特にデバッグと検証の分野で大きな恩恵を受けるで
しょう。この話題について、よい出発点となる資料を以下にリストアップします。
−
Huang and Martonosi (2018),
QDB: From Quantum Algorithms Towards Correct Quantum
Programs
(
https://arxiv.org/pdf/1811.05447.pdf
)
−
Gre en e t a l. (2013),
Quipper: A Scalable Quantum Programming Language
(
https://arxiv.org/
pdf/1304.3390.pdf
)
−
Altenk irch and Grattage (2005),
A Functional Quantum Programming Language
(
https://
arxiv.org/pdf/quant-ph/0409065.pdf
)
−
Svore (2018),
Q#: Enabling Scalable Quantum Computing and Development with a High-
Level Domain-Specific Language
(
https://arx ...