中科院软件所发布中国首个量子程序设计平台

 近日，中科中国中国科学院软件研究所于北京正式发布了中国首个较为完整的院软量子程序设计平台，且期望同我国量子硬件团队合作，所计平尽快将该量子程序设计平台配置在我国自研的发布量子计算机上。

　　据报道，量程此次发布的序设量子程序设计平台名为“isQ”。服务器租用其中“is”是中科中国“Institute of Software（软件研究所）”的缩写，“Q”则来自“Quantum（量子）”的院软首字母。

　　报道称，所计平这一平台包括量子程序设计、发布编译、站群服务器量程模拟、序设分析与验证等系列工具。中科中国编译器、院软模拟器、所计平模型验证工具、定理证明器四部分主要功能已经上线。