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

The only time you should look down on someone is when you're helping them up.
每个数学问题都有一个解决方案;只是需要时间和创造力来找到它。
做出伟大工作的唯一方法就是热爱你所做的事。
Man, unlike any other thing organic or inorganic in the universe, grows beyond his work, walks up the stairs of his concepts, emerges ahead of his accomplishments.
The human being is a most curious creature. He thinks he has got one soul, and he has got dozens.
数据库中最重要的东西是数据模型。如果你把数据模型做对了,其他一切都会随之而来。
The challenge in model checking is not just to find errors, but to understand why they occur.