论文摘要
随着近年来量子计算机硬件的迅速发展，量子软件开发越来越受到市场的重视。12月20日，中国科学院软件研究所正式发布了国内第一个自主研发的较为完整的量子程序设计平台--isQ。中科院软件所量子软件研究团队介绍，正如相应的工具链在传统软件开发中的作用一样，一套可用性关键词：
论文目录
文章来源
类型: 报纸
作者: 胡珉琦
关键词: 定理证明器
来源: 江苏科技报 2019-12-25
年度: 2019
分类: 基础科学,信息科技
专业: 物理学,计算机软件及计算机应用
分类号: TP311.1;O413
DOI: 10.28472/n.cnki.njskj.2019.000053
总页数: 1
文件大小: 52k
下载量: 1
相关论文文献
- [1].基于行为逻辑的新型设计平台交互设计浅析[J]. 工业设计 2020(03)
- [2].交巡警平台设计[J]. 建筑结构 2020(06)
- [3].美拟立法电商售假平台负全责[J]. 中外玩具制造 2020(04)
- [4].网络平台的公共性及其实现——以电商平台的法律规制为视角[J]. 法学研究 2020(02)
- [5].利用平台规则让网约车平台为“乘客”买单的行为定性[J]. 中国检察官 2020(02)
- [6].网络互助平台的风险分析与监管初探[J]. 保险职业学院学报 2020(01)
- [7].国外平台领导研究:进展、评价与启示[J]. 当代经济管理 2020(08)
- [8].平台经济视域下网约车平台的治理研究[J]. 中小企业管理与科技(中旬刊) 2020(06)
- [9].电商平台中的自治与法治——兼议平台治理中的司法态度[J]. 求是学刊 2020(04)
- [10].工业云平台建设及其实践路径[J]. 电子技术与软件工程 2020(14)
- [11].推进云数据服务平台在工会审计中的应用[J]. 中国工会财会 2020(09)
- [12].“十四五”时期中国平台经济发展展望与策略选择[J]. 经济研究参考 2020(12)
- [13].景观平台设计[J]. 建筑结构 2020(19)
- [14].2020年上半年辽阳8890平台为民办事82513件[J]. 民心 2020(09)
- [15].中國報道全媒体传播平台[J]. 中国报道 2018(11)
- [16].知识付费平台可持续发展及对策[J]. 营销界 2019(39)
- [17].数说平台运行成果[J]. 民心 2017(10)
- [18].生态融媒平台[J]. 绿化与生活 2018(04)
- [19].有这平台真方便[J]. 前线 2018(04)
- [20].中國報道 全媒体传播平台[J]. 中国报道 2018(07)
- [21].景观休闲平台[J]. 美与时代(城市版) 2018(08)
- [22].基于微信平台高校在线财务信息系统研究[J]. 人力资源管理 2016(12)
- [23].探讨基于智慧医疗服务平台的移动健康系统应用[J]. 通讯世界 2017(03)
- [24].2016O2O十大年度话题平台[J]. 中国科技信息 2017(Z1)
- [25].中国经济将进入新的增长平台[J]. 中国房地产 2017(11)
- [26].安全交易平台[J]. 现代营销(经营版) 2017(05)
- [27].叫车平台和车商[J]. 中国科技信息 2016(Z1)
- [28].《平台》[J]. 新闻传播 2016(03)
- [29].别把平台当本身[J]. 领导科学 2016(18)
- [30].平台如何把好诚信关?[J]. 中国储运 2016(07)
标签：定理证明器论文;