中科院软件所发布我国首个量子编程平台

近日，中科院软件所在北京正式发布了我国首个较为完善的量子编程平台。编程平台配置在我国研制的量子计算机上。　　据介绍，此次发布的量子编程平台名为“isQ”。其中“is”是“InstituteofSoftware（软件研究所）”的缩写，“Q”来自“Quantum（量子）”的首字母。　　报道称，该平台包括一系列用于量子编程、编译、模拟、分析和验证的工具。编译器、模拟器、模型验证工具、定理证明器四大主要功能已经上线。