所有契约的价值，都是由契约者的欲望来衡量的。 - 每日文摘

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

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

埃德蒙·克拉克

精神上的创伤就有这种特性，——它可以被掩盖起来，但绝不会收口；它是永远痛苦，永远一被触及就会流血，永远鲜血淋淋的留在心头。

大仲马

我们生来就有缺陷，但我们通过生活来修补它。

尤金·奥尼尔

对待任何事情，都要像第一次那样充满好奇，也要像最后一次那样满怀留恋：这样，你在人世间的日子就充满了荣耀。

贝蒂·史密斯

A book should feel like an adventure, even if it’s just about a day at home.

一本书应该像一场冒险，即使它只是关于在家的一天。

海伦·奥克森伯里

我的目标不是比别人更好，而是比过去的自己更好。

My goal is not to be better than others, but to be better than myself.

Rain

Illness is the night-side of life, a more onerous citizenship. Everyone who is born holds dual citizenship, in the kingdom of the well and in the kingdom of the sick.

疾病是生命的阴暗面，一种更沉重的公民身份。每个出生的人都持有双重国籍，在健康王国和疾病王国中。

苏珊·桑塔格

万水千山，求它载着她的爱和悲哀归去。

冰心

年，钱穆到燕京大学任教，校长司徒雷登问他对燕大印象如何，他答道：“起初听说燕大是中国教会大学中最中国化的大学，心中特别向往。我来燕大一看，才发现并非如此。一入校门就看到M楼和S楼，这难道就是中国化吗？我希望将燕大各建筑都改为中国名。”不久，燕大专门召开会议，决定改M楼为穆楼，S楼为适楼，贝公楼为办公楼，其他建筑一律赋以中国名称。钱穆还为校园的一个湖取名叫“未名湖”。

梁漱溟

美德是一种战争状态，我们生活于其中，就要常常与自己作斗争。

卢梭

鸟以为把鱼举在空中是一种慈善的举动。

泰戈尔

专制者的反面就是奴才，有权时无所不为，失势时就奴性十足。做主子的时候把别人都当做奴才，而一旦自己有了主子一定以奴才自命，这是天经地义无可动摇的。

鲁迅

在老年时，会有许多闲暇的时间，去计算那过去的日子，把我们手里永久丢失了的东西，在心里爱抚着。

泰戈尔

问题分两种，一种是封闭式的问题（Close-ended Question），另一种开放性的问题（Open-ended Question）。

熊浩

One must not always think that feeling is everything. Art is nothing without form.

人们不能总是认为感觉就是一切。没有形式，艺术就什么都不是。

福楼拜

比赛的时候不要想太多，打好自己的就行了。

Ame

燃烧一个人的灵魂的，正是对生命的爱，那是至死方休。

三毛

个人的就是历史的，历史的也是个人的。

The personal is historical, and the historical is personal.

安妮·埃尔诺

我就在繁星中的一颗上生活。我会站在其中的一颗星星上微笑。当你在夜间仰望天际时，就仿佛每一颗星星都在笑……你——只有你——才能拥有会笑的星星。

In one of the stars I shall be living。 In one of them I shall be laughing。 And so it will be as if all the stars were laughing， when you look at the sky at night… You – only you – will have stars that can laugh.

安托万·德·圣-埃克苏佩里

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

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