中科院軟件所發佈中國首個量子程序設計平臺

　　IT 之家 12 月 25 日消息據中新網消息，近日，中國科學院軟件研究所於北京正式發佈了中國首個較爲完整的量子程序設計平臺，且期望同我國量子硬件團隊合作，儘快將該量子程序設計平臺配置在我國自研的量子計算機上。
　　據報道，此次發佈的量子程序設計平臺名爲“isQ”。其中“is”是“Institute of Software（軟件研究所）”的縮寫，“Q”則來自“Quantum（量子）”的首字母。
　　報道稱，這一平臺包括量子程序設計、編譯、模擬、分析與驗證等系列工具。編譯器、模擬器、模型驗證工具、定理證明器四部分主要功能已經上線。