形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我知道了，我有两次生命，一次还没结束，一次刚刚开始，在小竹门外，在小竹门外，我作为一个世界，把你等待。
顾城
你得不时地给自己找些笑话来消遣一下，要不然就一点乐趣都没有了。
毛姆
每个人都有自己的成长节奏，不要急于求成，也不要轻易放弃。
罗伯特·戴博德
天空没有留下翅膀的痕迹，但我已经飞过。
泰戈尔
机会眷顾准备好的人。
路易斯·巴斯德
一个拥有真正美的心灵总是有所作为的，并且是一个实实在在的人。
黑格尔
官多则乱，将多则乱。
顾炎武
一个精明的人要想不受欺骗，有时只须表现粗鲁一些就可以。
拉罗什富科
越能体现人性尊严的快乐，越是一种最高级的快乐。我们之所以读书、行路，其实就是希望我们能够不断地享受什么快乐呢？高级快乐。当你享受高级快乐并不会失去低级快乐，对吧。我读莎士比亚并不妨碍我读郭德纲的相声。但是如果你的眼目永远只关注地下，你永远不知道向上看有多么的快乐。
罗翔
伟人们才会犯那些巨大的错误。
弗朗索瓦·德·拉罗什富科
问题的关键不是排列行某个程表上的先后顺序，而是安排好需要优先完成的事情。
史蒂芬·柯维
拥抱孤独，拥抱疼痛，拥抱生命中的每一天。
卢梭
二人同心，其利断金；同心之言，其臭如兰。
翻译：两个人心意相同，就像锋利的刀剑可以斩断金属；心意相同的话语，犹如兰花一样芳香。
伏羲
The ultimate condition of production is the reproduction of the conditions of production.
生产的最终条件是生产条件的再生产。
路易·阿尔都塞
Suffering is the school of wisdom.
苦难是智慧的学校。
密茨凯维奇
预测未来的最好方法就是创造未来。
The best way to predict the future is to create it.
保罗·伯奇
研究国学有两条应走的大路：一、文献的学问，应该用客观的科学方法去研究。二、德性的学问，应该用内省的和躬行的方法去研究。
梁启超
勤奋是构成天才的要素之一。
拿破仑
有一类树木需要多年时间才能成长起来，之后用一天时间开满鲜花，随即凋亡。蜉蝣也是这样，成年蜉蝣就是在生命尽头和新生命开端绽放的鲜花。
理查德·道金斯