写点什么

微软发布量子开发套件预览版

  • 2017-12-14
  • 本文字数:859 字

    阅读完需:约 3 分钟

据 InfoQ 之前报道,微软曾在Ignite 大会上宣布开发量子计算机的计划,并提供一个开发套件。现在,微软发布了 Quantum Development Kit (QDK)预览版。

QDK 集成在 Visual Studio 中,使用 Q#编程语言,并提供了一个量子模拟器,可以在笔记本上模拟最多 30 个逻辑量子位,这需要 16GB 的内存。如果要增加到 40 个逻辑量子位,内存需要呈指数级增长,比如增加 10 个逻辑量子位,就需要增加 2 的 10 次方那么多内存。微软为此提供了一个基于 Azure 的模拟器。开发者可以使用 QDK 来学习如何在量子计算机上编程,同时等待微软推出拓扑量子计算机。微软声称,在模拟器开发的程序最终可以不做任何修改就可以在真实的量子计算机上运行。

微软量子处理器使用了拓扑量子位,相关信息并不是保存在某个特定位置,而是进行全局保存,从拓扑结构的全局视图可以直接看出一个串是不是打结了。这种方式的好处在于量子信息的表示只需要少量的误差校正,而误差校正是限制量子处理器伸缩的主要因素。

在编程语言方面,微软将Q#定位成一门特定领域的编程语言,拥有原生的量子位类型系统、算子和其他抽象。它同时支持传统的语言控制流程和量子逻辑演算。

下面是Q#代码示例,目的是将一个量子位设置成给定的状态,如果它不在指定的状态,那么就翻转它:

复制代码
<pre data-linenums="1
2
3
4
5
6
7
8
9
10
11
12" line="7oqd" spellcheck="false">
namespace Quantum.Bell {
  open Microsoft.Quantum.Primitive;
  operation Set (desired: Result, q1: Qubit) : () {
    body {
      let current = M(q1);
      if (desired != current) {
        X(q1);
      }
    }
  }
}

Visual Studio 的调试器可以用来调试 Q#程序,可以设置断点并逐步跟踪执行流程,还可以通过跟踪模拟器来评估运行一个量子程序需要的资源。

除了 QDK,微软还发布了相关文档,涵盖了量子计算基础和高级概念,比如如何管理量子机器和驱动器,以及特定的开发技术。

现在就可以下载QDK ,并在Visual Studio 2017 里使用,VS 2017 的社区版是免费的。

查看英文原文: Microsoft Quantum Development Kit Available to Developers

2017-12-14 18:002323
用户头像

发布了 322 篇内容, 共 157.2 次阅读, 收获喜欢 148 次。

关注

评论

发布
暂无评论
发现更多内容

千人万面奇妙自见:爱奇艺短视频推荐技术中多兴趣召回技术的演变

爱奇艺技术产品团队

推荐 短视频 模型 召回

世界读书日,爱奇艺ers的技术产品书单

爱奇艺技术产品团队

读书

加密原理详解:对称式加密VS非对称式加密

Java架构师迁哥

理性看待区块链+大宗商品

CECBC

区块链

2021年处置非法集资部际联席会议:密切关注打着区块链、虚拟货币等旗号的新型风险

CECBC

推荐5个4K视频下载网站 (百万优质资源)

科技猫

网站 分享 视频 经验 资源分享

总是记不住java的IO流用法?用N个问题教你掌握java IO流

华为云开发者联盟

Java 字符串 IO流 字节输入流 字符流

如何从零开始学Python:(7)如何解决发布和上传代码过程中遇到的问题?

广之巅

Python 4月日更

自动源代码质量度量(ISO/IEC 5055)

Tom(⊙o⊙)

软件质量 静态分析

走完线上 BUG 定位最后一公里

阿里巴巴中间件

可观测性 bug bug修复

破解class文件的第一步:深入理解JAVA Class文件

华为云开发者联盟

Java JVM 索引 class文件

饿了么EMonitor演进史

阿里巴巴中间件

可观测性 饿了么 emonitor etrace

插件化库VirtualAPK详解

寻找生命中的美好

android 插件化 VirtualAPK

Flink的状态一致性

大数据技术指南

flink 4月日更

Android组件化和插件化开发

寻找生命中的美好

android 组件化 插件化

马丁策略倍投软件开发,量化倍投系统

4种语义分割数据集Cityscapes上SOTA方法总结

华为云开发者联盟

语义分割 OCR 数据集Cityscapes HRNet SegFix

LiteOS内核源码分析:动态内存之Bestfit分配算法

华为云开发者联盟

LiteOS Huawei LiteOS 动态内存 Bestfit 分配算法

万字精华:好好巩固你的Nginx知识体系

学Java关注我

Java 编程 架构 程序人生 计算机

合约跟单系统搭建,合约一键跟单app

全网最全 ECMAScript 攻略

清秋

JavaScript ecmascript 大前端 ES6 Ecma

暴涨暴跌的牛市,普通人怎么和平发育?

CECBC

区块链

开发环境上云,打造五星级开发体验

CODING DevOps

Kubernetes 云原生 CODING Nocalhost

阿里巴巴的“双11”高并发秒杀终极版教程!(Java语言设计)

Java 编程 程序员 架构

阿里“秘密团队”整理出来的一份Java面试复盘手册!全面复盘在望

Java架构之路

Java 程序员 架构 面试 编程语言

真的香!Github一夜爆火被各大厂要求直接下架的面试题库也太全了

Java架构之路

Java 程序员 架构 面试 编程语言

当区块链遇到工业互联网,浪潮云洲链正在那里

云计算

Rust从0到1-代码组织-模块

rust modules 模块

Golang Test

escray

学习 极客时间 Go 语言 4月日更

这份阿里P8技术专家整理的《一面到底》Java岗,GitHub已标星79k

Java架构之路

Java 程序员 架构 面试 编程语言

欢迎 ProForma 的制造商 ThinkTilt 加入 Atlassian 的大家庭!

Atlassian

敏捷 esm ITSM Atlssian JiraServiceManagement

微软发布量子开发套件预览版_微软_Sergio De Simone_InfoQ精选文章