则是基于量子物理原理设计实现新的器件和系统,完成基于经典物 理的技术无法完成的任务。因此,即使量子计算机难以实用化,量 子程序设计理论、方法和技术也能够在这些领域得到直接的应用 (如嵌入式量子芯片的测试与验证)或起到借鉴的作用。 更富想象力的回答:近年来,许多计算机科学家提倡 computational thinking[55]。其实最大胆的 computational thinkin是物 理学家做出的。一些大物理学家{56,57]提出了如下假设:宇宙是 台(巨型)量子计算机。如果你接受这个假设的话,也许你会乐意 接受我进一步的假设:(斯宾诺莎的)上帝是一位量子程序设计员! 在这样的假设下,将程序设计理论中的一些思想引入量子物理学, 有可能为物理学提供一个新的视角。 致谢:衷心感谢我们课题组的所有成员,16年的教学相长使我受益 匪浅。特别感谢课题组早期成员冯元、段润尧、季铮锋,16年后我 们仍然在一起愉快地合作以及午餐时聊着学术八卦。 参考文献 [1]冯元,段润尧,季铮锋,应明生,量子程序理论及相关问题研 究,中国计算机学会通讯,2008,7. 2] M.S. Ying, Foundations of Quantum Programming, Elsevier Morgan Kaufmann, 2016 [3 D. Wecker and K M. Svore, LIQUi >: A sof tware design architecture and domain-specific language for quantum computing, http://research.microsoftcom/pubs/209634/1402.4467.pdf [ T Haener, D S Steiger, K. Svore and M. Troyer, A sof tware methodology for compiling quantum programs, arXiv: 1604.01401v1 [5JA S Green, P L Lumsdaine, N.J.Ross, P Selinger and B. Valiron Quipper: A scalable quantum programming language, Proceedings of the 34th ACM Conference on Programming Language Design and Implementation(PlDi, 2013, pp 333-342 [6J A.J. Abhari, A. Faruque, M. Dousti, L Svec, O. Catu, A Chakrabati C.-F. Chiang, S. Vanderwilt, ]. Black, F Chong, M. Martonosi, M. Suchara K. Brown, M. Pedram and TBrun, Scaffold: Quantum Programmin Language, Technical Report Tr-934-12, Dept of Computer Science Princeton University, 2012则是基于量子物理原理设计实现新的器件和系统，完成基于经典物 理的技术无法完成的任务。因此，即使量子计算机难以实用化，量 子程序设计理论、方法和技术也能够在这些领域得到直接的应用 （如嵌入式量子芯片的测试与验证）或起到借鉴的作用。 更富想象力的回答：近年来，许多计算机科学家提倡 computational thinking [55]。其实最大胆的 computational thinking 是物 理学家做出的。一些大物理学家[56, 57]提出了如下假设：宇宙是一 台（巨型）量子计算机。如果你接受这个假设的话，也许你会乐意 接受我进一步的假设：（斯宾诺莎的）上帝是一位量子程序设计员！ 在这样的假设下，将程序设计理论中的一些思想引入量子物理学， 有可能为物理学提供一个新的视角。 致谢：衷心感谢我们课题组的所有成员，16 年的教学相长使我受益 匪浅。特别感谢课题组早期成员冯元、段润尧、季铮锋，16 年后我 们仍然在一起愉快地合作以及午餐时聊着学术八卦。 参考文献 ［1］冯元，段润尧，季铮锋，应明生，量子程序理论及相关问题研 究，中国计算机学会通讯，2008, 7. ［2］M. S. Ying, Foundations of Quantum Programming, Elsevier – Morgan Kaufmann, 2016. ［3］D. Wecker and K. M. Svore, LIQUi|>: A software design architecture and domain-specific language for quantum computing, http://research.microsoft.com/pubs/209634/1402.4467.pdf. ［4］T. Haener, D. S. Steiger, K. Svore and M. Troyer, A software methodology for compiling quantum programs, arXiv:1604.01401v1 ［5］A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger and B. Valiron, Quipper: A scalable quantum programming language, Proceedings of the 34th ACM Conference on Programming Language Design and Implementation (PLDI), 2013, pp. 333-342. ［6］A. J. Abhari, A. Faruque, M. Dousti, L. Svec, O. Catu, A. Chakrabati, C.-F. Chiang, S. Vanderwilt, J. Black, F. Chong, M. Martonosi, M. Suchara, K. Brown, M. Pedram and T.Brun, Scaffold: Quantum Programming Language, Technical Report TR-934-12, Dept. of Computer Science, Princeton University, 2012