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

It is easier to change the specification to fit the program than vice versa.
效率是工程师的第一美德。
The aim of proof is to understand, not just to verify.
My work is not to be understood, but to be felt.#我的作品不是要让人看懂,而是要让人感受到。