欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
量子计算
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 (→图集) |
||
第60行: | 第60行: | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
+ | image:quantum-simulation.png|量子仿真 | ||
image:D-Wave-Ocean.png|D-Wave Ocean | image:D-Wave-Ocean.png|D-Wave Ocean | ||
image:quantum-computing-2001-2020.jpg|专利申请和研究投资 | image:quantum-computing-2001-2020.jpg|专利申请和研究投资 |
2022年10月30日 (日) 00:49的版本
您可以在Wikipedia上了解到此条目的英文信息 量子计算 Thanks, Wikipedia. |
Quantum computing、量子计算、量子计算机、Quantum information、量子信息
目录 |
简介
量子计算的概念最早是 1982 年由美国物理学家费曼提出的,费曼认为:“遵循量子力学法则的量子计算机可能是模拟现实世界量子系统的最好方式”。
1982年,费曼指出,在传统的图灵机上似乎无法高效地模拟量子力学,并建议建立量子计算机来执行这种模拟。
量子计算机本质上是一个量子力学系统。
新闻
- 量子计算机有第3种方式,日本走在前列 研发团队利用这个实验装置实现了400个量子位,大幅超过现有量子计算机上实现的量子位数量。大森贤治教授表示,“到1~2年后将轻松增至1000个量子位。从原理上讲可增至1万个量子位”。(2022/08/29)
- IBM Quantum breaks the 100‑qubit processor barrier IBM 量子公司突破 100 量子比特大关
指南
项目
- Open-Source Quantum Software Projects
- Quantum Open Source Foundation List of Open Quantum Projects
- Quantum Computing GitHub Topic
- Quipper: A Scalable Quantum Programming Language Made by Haskell
- QWIRE a Coq implementation of the QWIRE quantum programming language
- Quil quantum programming language and ecosystem. Common Lisp 编写
- PyQuil is a Python library for quantum programming using Quil
- D-Wave Systems @ GitHub
- Q# Compiler Q# runtime
- Silq
- Qiskit
- Cirq
- Quantum Katas
- quantumlib
- OpenJij Framework for the Ising model and QUBO. OpenJij An open-source project towards a unified annealing platform
- Open source software in quantum computing
- OpenQASM is an imperative programming language for describing quantum circuits, written in Python, The file qasm3.g4 is the reference grammar, written in ANTLR.
- ScaffCC
- ProjectQ Powerful open source software for quantum computing
实现
应用
文档
- Toward the first quantum simulation with quantum speedup
- Recursion in circuit description languages
- Toward Automatic Verification of Quantum Programs
- Continuous Symmetries and Approximate Quantum Error Correction
- Adventures in Impredictive Semantics
书籍
- 《量子计算机研究 上、下》李承祖
图集
链接
- D-Wave Systems The Practical Quantum Computing Company
- IBM Quantum Computing
- Google Quantum AI
- Fujitsu 量子科技 - 數位退火技術Digital Annealer
- 苏黎世仪器 Zurich Instruments
- 量子客
分享您的观点