模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

The challenge in model checking is not just to find errors, but to understand why they occur.

埃德蒙·克拉克

教育的最终目的是帮助每个人成为最好的自己，教育不仅是把既定的知识传授给孩子，更重要的是满足不同学生的学习需求。

朱永新

存在就是敢于成为你自己，拒绝社会的模具，勇敢拥抱自身的独特与缺陷。

克尔凯郭尔

成功只有一个，那就是不断奋斗。”这句话提醒我们要保持勤奋，不断努力，才能走向成功。

约翰·德莱顿

艺术家必须愿意失败。

An artist must be willing to fail.

马克·渥林格

实际上，我怀疑，是不是一切都被安排好了，你永远也不可能参加你的葬礼。

亚历克斯·希勒

世界是一个残酷的地方，艺术是它的复仇。

The world is a cruel place, and art is its revenge.

埃尔弗里德·耶利内克

不要嘲笑鞋匠又黑又粗的拇指。

爱默生

比赛不是一个人的游戏，但关键时刻需要有人站出来。

无畏

The way positive reinforcement is carried out is more important than the amount.

正向强化的实施方式比其数量更重要。

斯金纳

梦想要远大，如果你的梦想没有吓到你，说明你做得不对。

埃隆·马斯克

书籍是最有耐烦、最能忍受跟最令人高兴的搭档。在任何艰巨困苦的时刻，它都不会摈弃你

赫尔岑

尽管条件不同，都必须牢牢建立节约用地的观点，这是二十多年来城市规划中最大的一个经验教训。

吴良镛

多样化是投资中唯一的免费午餐。

Diversification is the only free lunch in investing.

比尔·格罗斯

生活好比旅行，理想是旅行的路线，失去了路线，只好停止前进。

雨果

书是一个暗号，人类中的某一些靠这样的暗号从茫茫人海中认出对方。

米兰·昆德拉

"The only way to learn mathematics is to do mathematics."

学习数学的唯一方法就是做数学。

陶哲轩

The hardest thing about being a leader is demonstrating or showing vulnerability... When the leader demonstrates vulnerability and sensibility and brings people together, the team wins.

作为领导者最难的事情是展示或表现出脆弱性……当领导者展示出脆弱性和敏感性，并将人们团结在一起时，团队就会获胜。

霍华德·舒尔茨

隔行如隔山，隔行不隔理。

谚语

Music is the language of the soul, and it has the power to connect us all.

音乐是灵魂的语言，它有力量将我们所有人联系在一起。

海莉·薇思特拉

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

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