The process of verification is as important as the process of creation in computer science.
在计算机科学中，验证过程与创造过程同样重要。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
最危险的谎言是我们对自己相信的那些。
The most dangerous lies are the ones we believe about ourselves.
索菲·麦金托什
因此，请记住这样一个观念：全球市场不只是用来出口或采购的，它们也有助于促进学习和创新。 错过这个机会，就错过了走向全球过程中的一半乐趣和价值。
杰克·韦尔奇
我的道德有什么重要呢！它还没有使我热狂过。我对我的善和我的恶是怎样感到厌烦啊！这一切都是贫乏、不洁和可怜的安逸！
尼采
世上没有喜欢孤独的人，我只是不想勉强交朋友，这最终只会落得失望。
村上春树
 罂粟也好，曼陀罗也好，即使吃尽世间一切令人迷幻的药草，都不能是你得到昨晚你还安然享受的酣眠。
莎士比亚
有目标、有追求，懂得自我反省，才是一个企业该有的态度。
韩笑
何用写呢？诗人自己，便是诗了。
冰心
逝者在他们的DNA中留下了线索。
The dead have left us clues in their DNA.
斯万特·帕博
墮落的方式很多，总括起来，约有这两大类：第一条是容易拋弃学生时代的求知识的欲望。第二条是容易拋弃学生時代的理想的人生的追求。
胡适
真相很少是纯粹的，也从来不是简单的。
"The truth is rarely pure and never simple."
杰弗里·尤金尼德斯
有意栽花花不发，无心插柳柳成阴。
佚名
在群星云集的诺坎普球场，他从来都不是最耀眼的一颗，他是一个低调的人，不会成为焦点。他又是一个忠诚的人，忠诚使他成为传奇。他就是普约尔。
《天下足球》
A politician needs the ability to foretell what is going to happen tomorrow, next week, next month, and next year. And to have the ability afterwards to explain why it didn't happen.
政客的能力一在于能够预测明天,下周,下个月,明年能够发生什么。政客的能力二在于解释为什么预测失败了。
丘吉尔
提醒我们，即使在黑暗的时刻，只要我们心中有光，就能找到出路，而这就是神赐予我们的力量。
稻盛和夫
在梅塘别墅（现为左拉博物馆）墙上写的座右铭：“生命不息，创作不止。
爱弥尔·左拉
比如，你八岁的孩子说：“我不想上学。”当你赶时间、有自己的事情需要忙时，你很容易脱口说出：“你必须去，就这样！”但如果你说：“你真的不想现在去上学，是吗？”孩子比较容易听进去。这样说可以启动亲子对话，而不是终止对话。
菲利帕·佩里
"Writing is a way to explore the depths of our emotions."
写作是探索我们情感深度的一种方式。
贾森·雷诺兹
Between today and tomorrow， have a very long time； While you still have the spirit of the time， learning quickly.
在今天和明天之间，有一段很长的时间；趁你还有精神的时候，学习迅速办事。
歌德
学习一门新编程语言的唯一方法是用它编写程序。
The only way to learn a new programming language is by writing programs in it.
艾伦·佩利