首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

中科院软件所发布中国首个量子程序设计平台

IT之家

12月25日消息 据中新网消息,近日,中国科学院软件研究所于北京正式发布了中国首个较为完整的量子程序设计平台,且期望同我国量子硬件团队合作,尽快将该量子程序设计平台配置在我国自研的量子计算机上。

据报道,此次发布的量子程序设计平台名为“isQ”。其中“is”是“Institute of Software(软件研究所)”的缩写,“Q”则来自“Quantum(量子)”的首字母。

报道称,这一平台包括量子程序设计、编译、模拟、分析与验证等系列工具。编译器、模拟器、模型验证工具、定理证明器四部分主要功能已经上线。

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20191225A0U2T900?refer=cp_1026
  • 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

扫码

添加站长 进交流群

领取专属 10元无门槛券

私享最新 技术干货

扫码加入开发者社群
领券