"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我们的生活有太多的无奈，我们无法改变，也无力去改变，更糟的是，我们失去了改变的想法。
柏拉图
我们必须通过写作来对抗那些试图让我们沉默的力量。《个人的体验》
大江健三郎
不管在什么地方，只要掠夺比劳动更省劲，就必然会大行其道。
弗雷德里克·巴斯夏
删夷枝叶的人，决定得不到花果。
鲁迅
I dream that one day， every valley shall be exalted， leveling mountains， crossroads of smooth， winding paths into a thoroughfare， to reproduce the glory of the Lord， general creatures of the world were ye。
马丁路德金
运筹帷幄之中，制胜于无形；子房计谋其事，无知名，无勇功，图难于易，为大于细。
司马迁
没有大人会明白这是多么的重要。
安托万·德·圣-埃克苏佩里
爱因斯坦曾说：“一个人的真正价值，首先决定于他在什么程度上和在什么意义上从自我解放出来。”
陶勇
We have a mantra: don’t be evil， which is to do the best things we know how for our users， for our customers， for everyone. So I think if we were known for that， it would be a wonderful thing.
我们曾许下这样的诺言：不作恶。我要让我的公司去做对用户、对顾客、对所有人有利的事情。所以，如果我们能坚守这个诺言，我们就能做出一番有益的成就。
拉里·佩奇
苏东坡是一个无可救药的乐天派一个伟大的人道主义者一个百姓的朋友一个大文豪大书法家创新的画家造酒试验家一个工程师一个憎恨清教徒主义的人一位瑜伽修行者佛教徒巨儒政治家一个皇帝的秘书酒仙厚道的法官一位在政治上专唱反调的人。一个月夜徘徊者一个诗人。
林语堂
但於一切事上觉了，无心即是修行，更不别有修行。故知无心即一切，寂灭即无心也。
达摩祖师
微邪，大邪之所生也。
微：小。邪：邪恶，坏事。小的坏事，是大坏事产生的根源。量的渐变必然导致质的突变。小事不注意，必铸成大错。
管仲
“好的教育”首先是启发人的学习兴趣，学习的自觉性，培养人的上进心，引导人们好学和不断完善自己。要让学生在不知不觉中受教育，让他们潜移默化。这方面榜样的作用很重要，言传不如身教。
杨绛
成功的奥秘在于多动手。
杨振宁
有一个古老的谜语，他的特点：一是谜面一出谜底即现；二是如果你自己猜不到别人谁也无法告诉你；三是如果你猜到了你就肯定会认为你还没猜到。谜面：离你最近可你看不见的，是什么—眼睫毛。
史铁生
如果你能梦想它，你就能实现它。
If you can dream it, you can achieve it.
卡塔琳·卡里科
贵而不骄，胜而不悖，贤而能下，刚而能忍。
诸葛亮
人和人是不平等的，其中最重要的，是人与人有知识的差异。
王小波
越自负的人越自卑。如果有人骄傲自大，那一定是以为他有自卑感。
岸见一郎