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

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

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

　　报道称，这一平台包括量子程序设计、编译、模拟、分析与验证等系列工具。编译器、模拟器、模型验证工具、定理证明器四部分主要功能已经上线。