EDITOR’S READING · 本期选读
如何描述一个量子程序
是“正确”的？
从经典的前置条件与后置条件出发，认识量子霍尔逻辑，以及它如何将程序的行为与量子断言联系起来。
阅读：量子霍尔逻辑 →
QUANTUM PROGRAMMING · SEMANTICS · VERIFICATION创刊示范卷 / DEMO
A FIELD GUIDE TO QUANTUM PROGRAMS
量子程序的世界，
从语言到证明。
On the nature of quantum programs.
一部关于量子编程语言、程序语义与形式化验证的个人百科。连接概念、厘清定义，在计算与数学之间建立可循的路径。
独立编写·开放阅读·持续生长
PLATE I · THE QUBIT
|ψ⟩ = α|0⟩ + β|1⟩
FIG. 01 一次计算，无限种可能。
THE COLLECTION