"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

模型检查是验证有限状态并发系统正确性的强大技术。

约瑟夫·斯法基斯

你就是你所爱的东西。

You are what you love.

泰勒·斯威夫特

我不害怕风暴，因为我正在学习如何驾驶我的船。

I'm not afraid of storms, for I'm learning how to sail my ship.

麦当娜

文学作品还能极大地培养人的同理心，文学中无数个体的悲欢离合、命运多舛能让我们体会人生的苦难与无常，我们会思想自己也是血肉之躯，苦难随时也会临到自身，故会感同身受。

罗翔

因为重要，因为不想失去。隐藏着，伪装着。正因如此才一定会失去。于是，就会悲叹起失去。悲叹起比起失去还是不要得到会更好。悲叹起如果离手之时会后悔到死的话，还是放弃会更好。

渡航

你已经知道我对你的爱有点自私。真的，哪一个人得到一颗明珠不希望它永远归己所有呢。我也是。我很知道你的爱情有多美好（这是人们很少能找到的啊！），我又怎能情愿失去它呢。

王小波

Programming is an unnatural act.

编程是不自然的行为。

艾伦·佩利

太阳是是帝的生命，是诗歌，是光明。

拜伦

健康是人生中最宝贵的财富，要珍惜并保持身体健康。

佚名

Writing is the art of making the invisible visible.

写作是使不可见变为可见的艺术。

安东尼奥·穆尼奥斯·莫利纳

一种理想，就是一种力量！

罗曼·罗兰

Nothing is more precious than independence and liberty.

没有什么比独立和自由更宝贵的了。

胡志明

艺术作品是神圣的痕迹。

The work of art is a trace of the sacred.

安东尼·塔皮埃斯

仰天大笑出门去，苦逼岂能乱我心。

卢思浩

你不需要成为摇滚明星才能改变世界。

You don't have to be a rock star to want to change the world.

波诺

Train people well enough so they can leave, treat them well enough so they don't want to.

把员工培训得足够好，让他们有能力离开；对待他们足够好，让他们不想离开。

理查德·布兰森

自守表示的研究是数学抽象深度的反映。

The study of automorphic representations is a reflection of the depth of mathematical abstraction.

罗伯特·朗兰兹

惜往日之曾信兮，受命诏以昭时。

屈原

无论是何类型的企业，形成竞争优势和长期盈利能力的唯一方式就是吸引、培养和留住有才干的员工。

弗雷德·考夫曼

伤口是光进入你内心的地方

The wound is the place where the light enters you.

王安忆

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

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