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

A mathematician is a device for turning coffee into theorems.
Learning is any change in a system that produces a more or less permanent change in its capacity for adapting to its environment.
抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。