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

The principle goal of education is to create men who are capable of doing new things, not simply repeating what other generations have done.
教育的首要目标是培养能够做新事情的人,而不仅仅是重复前几代人所做的事情。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
如果你没有失败,说明你不够努力。
互联网的未来取决于我们适应和进化的能力。
If they're all lies, shouldn't we try to stay away from them? But we can't.
The true art exists in the encounter between the work and the viewer.
我相信儿童书籍应该是美丽的物品,值得珍藏和反复阅读。
Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.