形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
我们的业务是让我们的客户成功。
We are in the business of making our customers successful.
迈克尔·戴尔
可靠性的代价是追求极致的简洁。
The price of reliability is the pursuit of the utmost simplicity.
托尼·霍尔
每一部电影都是一次旅程，每一次旅程都是一部电影。
Every film is a journey, and every journey is a film.
阿涅斯·瓦尔达
中国青年需要 “偶像”或“人生导师”吗？在成长的过程中，参考那些值得信任的成功者是有价值的，例如阅读名人传记或听演讲。但是，每个人应该走自己的路，千万避免盲目偶像崇拜模仿，或不经思考全盘接受任何人的话。所以：参考他人的路，但是保持客观自觉，听信自己的心，走出自己的路，做最好的自己。
李开复
La literatura es una forma de resistencia, de decir no a la injusticia y de buscar la verdad.
文学是一种抵抗的形式，是对不公正说不并寻求真理的方式。
埃莱娜·波尼亚托夫斯卡
人类的精神与动物的本能区别在于：我们在繁衍后代的同时，在下一代身上留下自己对美、理想以及对于崇高而美好的事物之间的信念。
苏霍姆林斯基
抛开优越感吧，那是思想的一大包袱。
安德烈·纪德
和昨天的自己比较，而不是和今天的别人比较。
乔丹·彼得森
如果我是一个对爱情有责任的话，我是有责任去保护的，所以我不是不想跟大家分享，但是如果说我一旦分享了，我会遇到一些不必要的麻烦，譬如我的另一半会受到很麻烦的骚扰，被狗仔队跟踪怎么样，或者有一些负面的评价。
容祖儿
要把生命的意义、方向、价值找回来，一个人首先要对自己充分了解，才有资格往下谈。
杨定一
世间最痛苦的事莫过于等待，我不知道她等了我多久，我一直以为我不会再有机会见到她，突然间，我不知道该怎么开口，不知道怎么讲第一句话，告诉她，我真的很爱她。
梁朝伟
The only way to achieve the impossible is to believe it’s possible.
实现不可能的唯一方法就是相信它是可能的。
诺瓦克·德约科维奇
富而不骄，贵而不奢。
【释义】富有但不骄傲，尊贵但不奢侈。
范蠡
未来的竞争是生态系统的竞争。
马化腾
陌上谁攀折，闺中思复侵。眼凝清露重，眉敛翠烟深。羌笛临风曲，悲笳出塞音。纵垂千万缕，那系别离心。
纳兰性德
内向但精力充沛有企图心的人。性格内向的人更易成功：美国MSNBC网站报道称，一项研究发现，内向害羞大多与生俱来，而且，内向的人在工作中更容易成功。在做决策时，他们愿意花大量时间思考，不喜欢闲扯其他的话题，更能专心致志地奔着一个目标努力，因此他们成功的几率也相应增大。
张一鸣
美德是一种灵魂的状态。
亚里士多德
程序测试可以用来显示错误的存在，但绝不能显示它们的不存在！
Program testing can be used to show the presence of bugs, but never to show their absence!
阿尔弗雷德·艾侯
最好的歌曲来自痛苦。
The best songs come from pain.
The Weeknd