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

The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
What I’m doing right now, I’m chasing perfection.
The spread of liberal democracy around the world is not inevitable, but it is the most likely outcome.
我不会成为那个必须说最后一句话的女孩。但我会成为那个必须笑到最后的女孩。
最好的儿童书籍是那些不会居高临下地对孩子说话的书籍。