系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
对快乐的渴望永远不会在人心中熄灭。
卢梭
慧极必伤，情深不寿。用来形容你，贴切，而让人心痛。
金庸
你要一个能赚多少钱的丈夫""看不顺眼的话，千万富翁也不嫁，看得顺眼，亿万富翁也但如果是你，有吃饭的钱就足够了。
三毛
梦想，可以天花乱坠。理想，是我们一步一个脚印踩出来的坎坷道路。
三毛
读书没有合宜的时间和地点。一个人有读书的心境时，随便什么地方都可以读书。
林语堂
The essence of mathematics is not just in solving problems but in asking the right questions.
数学的本质不仅在于解决问题，还在于提出正确的问题。
斯里尼瓦瑟·瓦拉丹
我从不后悔自己的选择，因为那是我的人生。
I never regret my choices because that's my life.
周杰伦
你爱我，究竟是怎样的爱法？
徐志摩
如果我依赖于外物，那么我就仍然处在非我状态。这时，我还不能离开外部世界而独立存在。相反，如果我的存在仅仅依赖于自我，那么，我就是自由。
黑格尔
用贝叶斯定理来约束直觉，有两点要铭记在心。第一，基础比率十分重要，即便是在手头的案例有证据的情况下依然如此；第二，通过分析证据得到的直观印象通常都会被夸大。眼见即为事实与联想的一致性的结合使我们相信自己编纂的故事。
丹尼尔·卡尼曼
人生的路，靠自己一步步走去，真正能保护你的，是你自己的人格选择和文化选择。那么反过来，真正能伤害你的，也是一样，自己的选择。
余秋雨
几看昆池累劫灰，俄惊沧海又楼台。早知世界由心造，无奈悲欢触绪来。
王国维
But all these stars are silent. You-you alone-will have the stars as no one else has them…
不过，星星本身是沉默的。你，只有你，了解这些星星与众不同的含义……
安托万·德·圣-埃克苏佩里
当医生说“是个女孩”时，对女性的情感、性和心理的刻板印象就开始了。
The emotional, sexual, and psychological stereotyping of females begins when the doctor says: It's a girl.
菲莉丝·施拉夫利
女人的美丽是跟着年龄成长。
奥黛丽·赫本
29.如果你能勇敢地说“再见”，那么生命一定会回报你一个新的“开始”。
保罗·科埃略
人生最大的痛苦，莫过于梦醒时发现无路可走。
猫腻
悲剧只是一种尚未开花结果的喜剧，总有一天我们会对着悲剧大笑。我们会笑对一切。
马特·海格
我不仅想成为最好的，我想成为有史以来最好的。
I don’t just want to be the best, I want to be the best ever.
诺瓦克·德约科维奇