—— 请按键盘 空白键 开始游戏 ——

我们看待事物的方式、而不是事物本身如何,决定着一切。
你越是否认某件事,它就会引起越多的关注。
说到底,作家只是他书的一半。另一半是读者,作家从读者那里学习。
The challenge in model checking is not just to find errors, but to understand why they occur.