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

数学证明的优雅常常反映了它所描述的算法的效率。
The elegance of a mathematical proof often mirrors the efficiency of the algorithm it describes.
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
I don't want to be the next Michael Jordan, I only want to be Kobe Bryant.