【我国科学家发布量子程序设计平台 助力国产量子计算机研制】
中国科学院软件研究所20日发布了国内首个较为完整的量子程序设计平台，已上线的功能主要包括编译器、模拟器、模型检测工具、定理证明器四部分，有望为国内自主研制的量子计算机提供更多软件配套。（新华社）