集微网消息，据新华社报道，中科院软件所团队日前发布全新量子计算编程软件——isQ-Core，并成功部署至世界领先的超导量子硬件平台，标志着国产量子计算软硬件结合迈出重要一步。该软件具有简洁、易用、高效、扩展性强、可靠性高等特点，将为用户便利使用量子计算硬件设备提供有力支持。
据了解，isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序设计、编译、模拟、分析与验证等系列工具，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分。
isQ编程语言是由中国科学院软件研究所开发的量子程序设计语言，目前开发团队正与中科弧光量子软件公司共同研发isQ语言新功能。开发团队实现了多个版本的编译器以将isQ语言对接到不同的硬件平台或模拟器上，如isQ-core编译器。
（校对/Sharon）