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

The games industry is global, and you have to think globally if you want to succeed.
The true spirit of delight, the exaltation, the sense of being more than Man, which is the touchstone of the highest excellence, is to be found in mathematics as surely as in poetry.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
如果我们知道我们在做什么,那么这就不叫科学研究了;不是吗?