形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
人类的智慧就包含在这五个字里面吗：“等待和希望！”
大仲马
改变不是否定过去，而是重新诠释过去。
李崇建
钱这玩意儿就像第六感，没有它，剩下的五感都发挥不了最佳作用。没有足够的银子进账，生活里就少了一半的可能。
毛姆
不可说，不可说。
星云大师
影片的制作过程就像在一个长长的黑暗隧道中行走。我从来没有往隧道的尽头张望，而是一路低头行走。
陆川
男人爱女人是为了征服，女人爱男人是为了掠夺。
巴尔扎克
美不是事物本身的品质：它只存在于思考它们的心灵中；每个人的心灵都会感受到不同的美。
大卫·休谟
夜是黑的，煤是黑的，屋梁上方更是黑洞洞的，深不见底。而手中这团食物的白与万物对立。它的香美与无边的寒冷对立。
李娟
素养的模式的构成要素之三是个体的行动，特别是指个体展现的负责任的行动。
蔡清田
The coal industry must evolve or risk becoming obsolete. Adaptation is the key to survival.
煤炭行业必须进化，否则有过时的风险。适应是生存的关键。
史蒂文·利尔
如果儿童还不具备自我控制的能力，他们得到的自由就不是真正的自由；如果儿童做事没有规律，是因为曾有人随意地强迫他们去有规律地做事情；如果儿童懒惰，是因为他们曾被强迫去工作；如果儿童不听话，是因为曾有人强迫他们去听话。
蒙台梭利
野牛成为家牛，野猪成为猪，狼成为狗，野性是消失了，但只足使牧人喜欢，于本身并无好处。
鲁迅
语言是存在的家。人在其中居住。
"Language is the house of being. In its home man dwells."
弗里德里希·克里斯蒂安·德利乌斯
国歌修改这件事，高层可以理性分析我申请的合理性，而低层考虑的则是可能带来的风险，宁可不作，也不惹事，以免影响自己的前途。
陈其钢
四周寒冷而又清澈。在肮脏，昏暗的街道上方，在一个个黑色屋顶的上方，是幽暗的星空。
托尔斯泰
二姐，我现在晓得了，我们流的血、泪、汗为啥是咸的？老先人背盐时，盐都渗进他们的血肉里了。
吴梦川
Sustainability must be the cornerstone of every decision we make in aquaculture, or we risk losing the very resource we depend on.
可持续性必须是我们水产养殖每一个决策的基石，否则我们可能会失去赖以生存的资源。
苏菲·怀特
我相信：个人自由的探索精神是世界上最宝贵的东西。我会为此而战：思想的自由，可以朝任何它希望的方向发展，不受指引。
"And this I believe: that the free, exploring mind of the individual human is the most valuable thing in the world. And this I would fight for: the freedom of the mind to take any direction it wishes, undirected."
约翰·斯坦贝克
I think that the more you know about life, the less you need to explain in a film.
我认为你对生活了解得越多，你在电影中需要解释的就越少。
迈克尔·哈内克