"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
你一出门：千山鸟飞绝，万径人踪灭。
郭德纲
我们读历史，不是重复过去，而是避免重蹈覆辙。
当年明月
创新不仅仅是创造新事物，而是让事物变得更好。
Innovation is not just about creating something new, but about making something better.
凯文·雷西
在我而说，旅行真正的快乐不在于目的地，而在于它的过程，遇见不同的人，遭遇到奇奇怪怪的事，克服种种的困难，听听不同的语言，在我都是很大的快乐。虽说 一沙一世界，一花一天堂，更何况世界不止是一沙一花，世界是多么奇妙的现象积累起来的。我看，我听，我的阅历就更丰富了。
三毛
A literatura é a arte de transformar palavras em sentimentos.
文学是将文字转化为情感的艺术。
若泽·路易斯·佩肖托
不要以自己的特殊性格为借口，逃避自己的问题和责任。
岸见一郎
To love oneself is the beginning of a lifelong romance.
爱自己是终身浪漫的开始。
赫布兰德·巴克
对于这些孤独之人来说，沉静是他们最需要的行为，其渴望程度高于狂暴。
尼采
青春似一日之晨，它冰清玉潔，充滿著遐想與和諧。
夏多布里昂
真相很少纯粹，也决不简单。
王尔德
易輶攸畏，属耳垣墙。
周兴嗣
If you want to achieve greatness, stop asking for permission.
如果你想成就伟大，就别再寻求许可。
珍妮·杰克逊
模型能计算波动，但无法量化人性疯狂时的市场。
罗伯特·默顿
成功并不在于赢得比赛，而是在于不断超越自己的极限。
海明威
我不怕千万人阻挡，只怕自己投降。
赵丽颖
一个人如果不是真正有道德，就不可能真正有智慧。
玛丽·雪莱
石油的可开采量和售价相关。
托马斯·索维尔
凡是先躲在暗处，看看对方的来意，再作处理，这是高明的而周到的行为。
曾仕强
有些情况比坐拥大量现金无处可投更糟糕。我还记得当年缺钱的情景 --- 我可不想回到那个时候。
查理·芒格