欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
量子计算
来自开放百科 - 灰狐
（版本间的差异）
小 (→原理) |
小 (→项目) |
||
| 第20行： | 第20行： | ||
*[https://qosf.org/ Quantum Open Source Foundation] [https://www.qosf.org/project_list/ List of Open Quantum Projects] | *[https://qosf.org/ Quantum Open Source Foundation] [https://www.qosf.org/project_list/ List of Open Quantum Projects] | ||
*[https://github.com/topics/quantum-computing Quantum Computing GitHub Topic] | *[https://github.com/topics/quantum-computing Quantum Computing GitHub Topic] | ||
| + | *[https://github.com/quil-lang Quil] quantum programming language and ecosystem. [[Common Lisp]] 编写 | ||
*[https://github.com/dwavesystems D-Wave Systems @ GitHub] | *[https://github.com/dwavesystems D-Wave Systems @ GitHub] | ||
*[https://github.com/microsoft/qsharp-compiler Q# Compiler] [https://github.com/microsoft/qsharp-runtime Q# runtime] | *[https://github.com/microsoft/qsharp-compiler Q# Compiler] [https://github.com/microsoft/qsharp-runtime Q# runtime] | ||
2022年6月28日 (二) 13:07的版本
|
您可以在Wikipedia上了解到此条目的英文信息 量子计算 Thanks, Wikipedia. |
Quantum computing、量子计算、量子计算机、Quantum information、量子信息
目录 |
简介
量子计算的概念最早是 1982 年由美国物理学家费曼提出的，费曼认为：“遵循量子力学法则的量子计算机可能是模拟现实世界量子系统的最好方式”。
1982年，费曼指出，在传统的图灵机上似乎无法高效地模拟量子力学，并建议建立量子计算机来执行这种模拟。
量子计算机本质上是一个量子力学系统。
新闻
- 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
- Quil quantum programming language and ecosystem. Common Lisp 编写
- 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
实现
应用
图集
D-Wave Ocean
链接
- D-Wave Systems The Practical Quantum Computing Company
- IBM Q
- Google Quantum AI
- 量子客
分享您的观点
