"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
人品高，则诗格高，心术正，则诗体正。
王国维
器物的存在意义，在于“解决问题，响应需求”，让生活更方便舒适更从容优雅愉悦，才是唯一价值。
叶怡兰
你的未来将会来到你面前，像只小狗一样躺在那边。
罗振宇
你快点回火星吧，地球是很危险的！
周星驰
人们还往往把真理和错误混在一起去教人，而坚持的却是错误。
歌德
世界上充满了显而易见的事情，但没有人会去注意它们。
"The world is full of obvious things which nobody by any chance ever observes."
尼古拉·马修
诚实和正直是人格的基石。
巴尔扎克
你无法回到过去改变开头，但可以从现在开始改变结局。
"You can't go back and change the beginning, but you can start where you are and change the ending."
莫妮克·罗菲
我们所有的智慧，都脱不了奴隶的偏见。我们所有的习惯都在奴役我们，束缚我们，压制我们。文明人从生到死都脱不了奴隶的羁绊。
卢梭
我们身体内的生命像河中的水。它可以今年涨得很高，高得空前，淹没干枯的高地；甚至这样的一年也可能是多事之年，所有的麝鼠都被淹死。我们生活的地方不一定总是干燥的土地。
梭罗
财政收支要平衡，略有结余。《陈云文选》
陈云
命运就像一条长河，我们永远只能看到眼前的一小段，而无法窥见它的全貌。
爱潜水的乌贼
如何学好经济学？一是学李白，也要学杜甫；二是给每个模型找个反例；三是记住每个理论都有前提。只有这样，你学的才不是“黑板上的经济学”，才是既能抽象于真实世界，也能还原于真实世界的“有用的经济学”。
程东升
乐观、正面思考的力量是无穷的。你没有试过，你怎么知道你不能。
李开复
The sun shone, having no alternative, on the nothing new.
太阳照耀着，没有选择，照耀着没有新意的事物。
塞缪尔·贝克特
但何塞阿尔卡蒂奥布恩迪亚没有理睬，他正为这无可置疑的奇迹而迷醉，那一刻忘却了自己荒唐事业的挫败，忘却了梅尔基亚德斯的尸体已成为乌贼的美餐。他又付了五个里亚尔，把手放在冰块上，仿佛凭圣书作证般庄严宣告：“这是我们这个时代最伟大的发明。”
加西亚·马尔克斯
我认为生命就是每一天一步一步向前，人总不可以停留在某地方不动吧？这样太浪费生命，也很闷吧？既然难得来世间一转，便应让自己快快乐乐、精精彩彩过日子。勤奋并不需要有推动力，只要你能欣赏人生，你能欣赏日出日落，你懂得珍惜，你自然会勤力，因为你不会也不希望错过生命送给你的每一个机会。
刘德华
记忆是痛苦的根源。
周星驰
故人入我梦，明我长相忆。
杜甫