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

【中新社北京12月20日電】（記者　孫自法）中國科學院軟件研究所20日在北京正式發佈中國第一個較為完整的量子程序設計平台，並期望與國內量子硬件團隊緊密合作，盡快將這一平台配置在中國自主研製的量子計算機上。

最新發佈的量子程序設計平台名稱為isQ，『is』為軟件研究所英文縮寫，『Q』取自量子英文單詞首字母，平台由量子程序設計、編譯、模擬、分析與驗證等系列工具組成，編譯器、模擬器、模型驗證工具、定理證明器四部分功能已上線。

當天發佈會上，中科院軟件所量子軟件研究團隊介紹說，隨著近年來量子計算機硬件的迅速發展，量子軟件開發越來越受到重視。一套可用性高、功能廣泛而強大，集程序設計、測試、分析、驗證於一體的工具，對量子軟件開發十分重要，但由於量子軟件與經典軟件存在本質不同，相應的量子軟件工具更加複雜而難以研發。

isQ平台在量子程序設計方面，編譯器首先將高級語言編寫的量子程序轉化為指令集語言，然後交由後續工俱進一步處理。目前，後續工具的模擬器可在經典計算機上模擬運行量子程序，查看運行結果，對現階段量子程序的設計、測試有重要作用；模型檢驗工具可用於檢驗量子系統的各種性質；定理證明器是迄今已知世界上唯一能够對量子程序是否正確進行驗證的平台，可在經典計算機上克服計算時間與存儲空間限制，為較大規模量子程序的設計提供重要幫助。

據瞭解，中科院軟件所量子軟件研究團隊擬在現有基礎上，進一步完善isQ平台功能，並期望與中國量子硬件團隊緊密合作，盡快將isQ平台配置於中國自主研製的量子計算機上。