IT之家12月25日消息 据中新网消息，近日，中国科学院软件研究所于北京正式发布了中国首个较为完整的量子程序设计平台，且期望同我国量子硬件团队合作，尽快将该量子程序设计平台配置在我国自研的量子计算机上。
据报道，此次发布的量子程序设计平台名为“isQ”。其中“is”是“Institute of Software（软件研究所）”的缩写，“Q”则来自“Quantum（量子）”的首字母。
报道称，这一平台包括量子程序设计、编译、模拟、分析与验证等系列工具。编译器、模拟器、模型验证工具、定理证明器四部分主要功能已经上线。
广告声明：文内含有的对外跳转链接（包括不限于超链接、二维码、口令等形式），用于传递更多信息，节省甄选时间，结果仅供参考，IT之家所有文章均包含本声明。