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

The advancement of mathematics is due to those who are driven not by the desire for application but by the joy of discovery.
我们现在可能年纪大了,但对表演的热情依然如故。
The challenge in model checking is not just to find errors, but to understand why they occur.
大树恨枝干上没有树叶,不要怨怪是太阳偏心故意晒偏。