近日，中國科學(xué)院軟件研究所于北京正式發(fā)布了中國首個(gè)較為完整的量子程序設計平臺，且期望同我國量子硬件團隊合作，盡快將該量子程序設計平臺配置在我國自研的量子計算機上。

　　據報道，此次發(fā)布的量子程序設計平臺名為“isQ”。其中“is”是“Institute of Software(軟件研究所)”的縮寫(xiě)，“Q”則來(lái)自“Quantum(量子)”的首字母。

　　報道稱(chēng)，這一平臺包括量子程序設計、編譯、模擬、分析與驗證等系列工具。編譯器、模擬器、模型驗證工具、定理證明器四部分主要功能已經(jīng)上線(xiàn)。
　?。?a href="http://www.lsbmaoyi.com">邯鄲網(wǎng)站建設）

Google 將僅允許使用 O...

太空著(zhù)火了？美望遠鏡捕...