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

你不能让自己感觉到你感觉不到的东西,但你可以不顾自己的感受去做正确的事情。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
人类的存在是宇宙中一种微小而独特的表现,我们应当珍惜并在有限的生命中发挥出色。