The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
如果当初我勇敢，结局是不是不一样。如果当时你坚持，回忆会不会不一般。最终我还是没说，你还是忽略。
岩井俊二
但我希望你会意识到：没有良心、没有美德的人不会痛苦
卡勒德·胡赛尼
父母养其身，自己立其志。
佚名
年轻而悲观是最悲惨的事。
马克吐温
能够慢慢培养的不是爱情，而是习惯。能够随着时间得到的，不是感情而是感动。所以爱是一瞬间的礼物，有就有，没有就没有。但反过来说，爱和婚姻实际并不是一回事情，并不是所有的爱情都要结婚的，也不是所有婚姻都有爱情的。
莫言
无目的的读书是散步而不是学习。
胡适
只是女人天性的柔弱，注定她们的爱情惨和了太多的纵容和被纵容的成份。
张爱玲
越是往后反省，越看得清前方。
丘吉尔
思想决定一切，你想什么，就会成为什么。
The mind is everything. What you think, you become.
诺瓦克·德约科维奇
要避免极端的意识型态，它会让人失去理智。
查理·芒格
在为你想要的生活冒险之前，先为你需要的生活投资虽然我一直强调买、买、买，但有时候卖出也没关系。毕竟，如果你什么都不做，那积累财富又有什么意义呢？
尼克·马吉奥利
无勉励，虽造父不可以调驷马。无势位，虽舜、禹不能治全民。
桓宽
君记取封侯事在，功名不信由天！
陆游
In the end, what matters is not the answers we find, but the questions we dare to ask.
最终重要的不是我们找到的答案，而是我们敢于提出的问题。
豪尔赫·博尔皮
成功不在于你赚了多少钱，而在于你对人们生活的影响。
Success is not about the money you make, it's about the difference you make in people's lives.
瑞奇·马丁
在心底某个地方，你感到不对劲，可你没法用理性解释。飞行员把这种感觉叫作leemers，即“你模糊地感觉到有些地方不对劲，尽管你也说不清楚为什么”
奥赞·瓦罗尔
The proper function of man is to live，not to exist.
人的正确功能是生活，而不是生存。
苏格拉底
我们之所以感到疲劳，是因为我们的情绪是我们的身体紧张。
卡耐基
合作共赢是新时代矿业发展的主旋律。
Win-win cooperation is the main theme of mining development in the new era.
王祥明