量子计算的挑战不仅在于建造量子计算机,还在于理解它能做什么。
The challenge in model checking is not just to find errors, but to understand why they occur.
最好的故事是挑战我们假设的故事。