"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

约瑟夫·斯法基斯

人就这么一辈子！说来容易，想来却很深沉；很幸运地拥有了它，不能白来这一遭！

刘墉

性命的好处在于一种人生的化境，而进入了‘化境’，也就进入了一种人生的自由王国。只要肯‘琢磨’，肯实践，就能进入‘化境’。

王蒙

驾驭仆人之道，是有秘诀的，那就是，把他当做人，这样一来，凡是人所不容易做到的，我们也就不苛责于他，凡是人所容易犯的毛病，我们也加以曲宥。

梁实秋

蔬菜种植的每一个环节都关乎食品安全，我们必须以敬畏之心对待每一颗种子。

吴东

The quality of an organization's perseverance determines the quality of its achievement.

一个组织的毅力质量决定了其成就的质量。

菲利浦·克劳士比

The only real failure in life is not to be true to the best one knows.

生活中唯一真正的失败是不忠于自己所知道的最好的东西。

比昂斯滕·比昂松

早期的文字是为这些政治机构的需要服务的（如记录的保存和对王室的宣传），而使用文字的人是出生产粮食的农民所种植的多余粮食养活的专职官员。狩猎采集社会没有发明出文字，甚至也没有采用过任何文字，团为它们既没有需要使用早期文字的机构．也没有生产为养活文字专家所必需的剩余粮食的社会机制和农业机制。

贾雷德·戴蒙德

他只要看到那个女孩就感到心满意足了。渐渐地，他把她理想化了，把一些不可能的美德和想象出来的情感都安在她的身上。

加西亚·马尔克斯

一个人的成功，不只取决于他的智力因素，更重要的是取决于他的品德修养等非智力因素。

爱因斯坦

下十天至十五天苦工夫，向群众寻求真理。

毛泽东

建筑是关于创造场所，而不仅仅是空间。

Architecture is about making places, not just spaces.

爱德华多·苏托·德·莫拉

任何经历本身并不是成功或者失败的原因。我们并非因为自身经历中的刺激——所谓的心理创伤——而痛苦，事实上我们会从经历中发现符合自己目的的因素。

岸见一郎

Reacher said nothing. He was a man who believed in actions, not words.

李·查德

在那种规规矩矩的生活中，在那种恪尽职守的生活中，情欲被保存和浓缩起来。没有什么能让它消磨，没有风将它吹散，它聚积、淹滞、腐坏并毒害和侵蚀将它密封的那副活容器。

弗朗索瓦·莫里亚克

过谦者多怀诈，过默者多藏奸。

徐学谟

古斯塔夫·勒庞

人类并非在母亲分娩的那一天就一劳永逸地诞生，而是生活迫使他们一次又一次地重生。

Human beings are not born once and for all on the day their mothers give birth to them, but life obliges them over and over again to give birth to themselves.

加夫列尔·加西亚·马尔克斯

他们两个人都属于多愁善感，爱得真挚而又正直诚实的那一类人，他们能够做出最大的牺牲，可是在人生道路上和现实生活中就很难得到幸福，他们付出的多，得到的少。

亨利克·显克维支

挑战是让观众相信角色，而不是演员。

The challenge is to make the audience believe in the character, not in the actor.

麦斯·米科尔森

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

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