欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
量子计算
来自开放百科 - 灰狐
(版本间的差异)
小 (→图集) |
小 (→链接) |
||
第69行: | 第69行: | ||
==链接== | ==链接== | ||
− | *[https://www.dwavesys.com/ D-Wave Systems] The Practical Quantum Computing Company | + | *[https://www.dwavesys.com/ D-Wave Systems] The Practical Quantum Computing Company [https://dwavefederal.com/ D-Wave for Government] |
*[https://www.ibm.com/quantum IBM Quantum Computing] | *[https://www.ibm.com/quantum IBM Quantum Computing] | ||
*[https://quantumai.google/ Google Quantum AI] | *[https://quantumai.google/ Google Quantum AI] |
2022年10月30日 (日) 09:06的版本
您可以在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
- ZX-calculus is a graphical language that goes beyond circuit diagrams.
实现
应用
文档
- 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
- Quantum Machine Learning using the ZXW-Calculus
书籍
- 《量子计算机研究 上、下》李承祖
图集
链接
- D-Wave Systems The Practical Quantum Computing Company D-Wave for Government
- IBM Quantum Computing
- Google Quantum AI
- Fujitsu 量子科技 - 數位退火技術Digital Annealer
- 苏黎世仪器 Zurich Instruments
- 量子客
分享您的观点