形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
财富的意义远不止于物质和金钱，而是代表着沉甸甸的道义和责任。既然我们的财富来自于社会，我们就要善用这些财富服务和回馈社会。从小处讲，这是知识与财富之间的良性循环；从大处看，这是为了让个人价值与造福人类的终极目标相一致。赠人玫瑰，手有余香。
张磊
不，不是富有。我是一个有钱的穷人，这不是一回事。
No, not rich. I am a poor man with money, which is not the same thing.
加夫列尔·加西亚·马尔克斯
超越个体，追求普遍。
Transcend the individual, pursue the universal.
阿那克西曼德
我总是以为自己是会对流失的时间和往事习惯的。不管在哪里，碰到谁。以什么样的方式结束。
陆小曼
科学是热情和迷信最大的解药。
亚当·斯密
时间有限，不要浪费时间活在别人的阴影里；不要被教条所惑，盲从教条等于活在别人的思考中；不要让他人的噪音压过自己的心声。
史蒂夫·乔布斯
你若太凝视一个字，凝视得太集中，太紧张，反而对这一字形惶惑认不清。你若使劲要找地下一个针，用尽你的眼力，那针反而找不到。你能放松些，散淡些，让你的视力天机用事，那针忽而会自己投进你的视线，无意中覕见了，全不费力。这是你易懂的铁证。
钱穆
煤炭企业要主动适应能源结构调整，加快向综合能源服务商转型。
王显政
即使命运叫您在得到最后胜利之前碰着了不可躲避的死，我的爱！那时您就死。因为死就是成功，就是胜利。一切有我在，一切有爱在。
徐志摩
无财作力，少有斗智，既饶争时。
司马迁
沉默有时比言语更响亮。
佚名
哲学教会我们如何思考和分析问题。
普罗泰戈拉
我们是谁？我们难道不是由我们读过的书，我们经历的事，我们对世界的印象，我们的这些所构成？
唐诺
"Every film is a journey, not just for the audience, but for the actor as well."
每部电影都是一次旅程，不仅对观众如此，对演员也是如此。
马塞洛·马斯楚安尼
孔子曰：君子有九思：视思明、听思聪，色思温，貌思恭，言思忠，事思敬，疑思问，忿思难，见得思义。
金克木
年轻的心灵本不该静如止水，波澜不起。世界是属于年轻人的，趁着年轻到广阔的世界上去闯荡一番，原是人生必要的经历。
周国平
静坐只是一种锻炼心灵、调理思维过程的练习，帮助我们摆脱让心灵不得清明的分心和杂念。
杨定一
我这辈子说得最让人无从反驳的话就是被子不用叠，本来就是要摊开睡的，然而这也是第一个被人反驳掉的。懂么，这就是规矩。咱们之因此悲哀，是正因咱们有太多规矩。
韩寒
我是一个喜欢与众不同的人。
I'm a person who likes to be different.
尤塞恩·博尔特