搜索结果: 1-1 共查到“程序设计及其语言 isQ”相关记录1条 . 查询时间(0.062 秒)
中国科学院软件研究所发布国内首个量子程序设计平台——isQ(图)
中国科学院软件研究所 量子程序设计平台 isQ 编译器 模拟器 模型检测工具
2019/12/25
2019年12月20日上午,中国科学院软件研究所举行了量子程序设计平台新闻发布会,正式发布了国内第一个较为完整的量子程序设计平台isQ,“isQ”中的“is”代表软件研究所Institute of Software,“Q”代表量子Quantum。isQ平台是基于软件所量子软件团队多年来在量子程序设计模型、量子程序逻辑、量子程序分析算法等方面所取得的系统性理论成果基础上成功实现的。该平台包括量子程序...