系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
世界是一场伟大的舞蹈，我们是其中的舞者。
The world is a great dance, and we are the dancers.
海涅
我要把别人看到的当成我的太阳，别人听到的当成我的乐曲，别人嘴角的微笑看作我的快乐。
海伦·凯勒
孤独是自我的觉醒，喧闹是自我的迷失。
克拉克·赫尔
不嫌野外无供给，乘兴还来看药栏。
杜甫
我的投资组合可以应对熊市的风险，基金在大市下跌时总是会比市场下跌得少。
麦克尔·普里斯
我们不要把眼睛生在头顶上，致使用了自己的脚踏坏了我们想得之于天上的东西。
冯雪峰
"Dreams don't work unless you do."
除非你付出努力，否则梦想不会实现。
单向组合
称人之善，我有一善，又何妒焉？称人一恶，我有一恶，又何毁焉？
曾国藩
所以与其说丰息是专情之人，不若说他是独情之人，他除了对风夕有情，天地万物不在眼中。
倾泠月
绝对不会服从于人，即便是奴隶，也会以奴隶卑屈的方式进行反击。因此，人除了当场一决胜负外，不会有别的生存之道。
太宰治
短期利益永远不应损害长期可持续性。
Short-term gains should never compromise long-term sustainability.
马克·托马斯
可是他的心里却燃烧着一种希望渴慕光明！渴慕光明！使他痛苦异常他不知道在他头上碧空晴朗充满了纯洁的银色的星光。
王小波
劳动生产率的高低这和一定量劳动所推动的生产资料成正比。
马克思
中年是对青年的延伸，又是对青年的告别。这种告别不仅仅是一系列观念的变异，而是一个终于自立的成熟者对于能够随心所欲处置各种问题的自信。
余秋雨
感情有理智所根本不能理解的理由。
毛姆
在我不会演戏时，我被叫去演戏，在我不会唱歌时我被要求唱funny face，在我不会跳舞时，我被要求与弗雷德阿斯坦共舞。所有这些我都没有准备过，为了能做到，我就近似疯狂的尝试和努力。
奥黛丽·赫本
一块好好的木板，上方一个眼也没有，但钉子为什么能钉进去呢？这就是靠压力硬挤进去的，硬钻进去的。
雷锋
霍华德·阿曼森 讲过这样一句话：“千万别低估高估自己的人。”高估自己的自大狂偶尔竟然能成大事，这是现代生活中让人很不爽的一部分。我已经学会适应了，不适应又能怎样，见怪不怪了。自大狂偶尔能成为大赢家，但我不愿一群自大狂在我眼前晃来晃去，我选择谨慎的人。
查理·芒格
揭开面具，你们的欢乐就是你们的忧愁。从你泪水注满的同一眼井中，你的欢乐泉涌。能不如此吗？哀愁刻划在你们身上的伤痕愈深，你们就能容纳愈多的欢乐。当你们欣喜时，深究自己的心灵，你们会发现如今带给你们欢乐的，正是当初带给你们忧愁的。当你们悲哀时，再审视自己的心灵，你们会发现如今带给你们忧愁的，正是当初带给你们欢乐的。
纪伯伦