"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
财务顾问就是那些⽐你更需要你的钱的⼈。
巴菲特
托蒂！托蒂面对这个点球，他面对的是全世界意大利球迷的目光和期待。施瓦泽曾经在世界杯决赛的附加赛当中扑出过两个点球。他深知这一个球对于球队有多么重要，他还能够微笑着面对他面前的这个人吗？托蒂！十秒钟以后，他会是怎样的表情？
黄健翔
有效的批判性思考始于清晰地定义问题。
尼尔·布朗
读小说只见到故事而没有见到它的诗，就像看到花架而忘记架上的花。
朱光潜
智慧能使人写作，但创造历史的是热情。
费尔巴哈
O diabo não há! É o que eu digo, se for... Existe é homem humano. Travessia.
“魔鬼才不存在！要我说，就算真有...存在的也是凡人之恶。渡劫。”
佚名
一个人认定有价值，他有价值；如果说没有价值，那么就没有。然后他就会依照他的故事版本而活。
哈维·艾克
打浑随时之妙法，休嫌终日昏昏；精明当事之祸机，却恨一生了了。
陈继儒
我宁愿化为灰烬，也不愿仅是尘土：我宁愿我的火花，像是灿烂的焰火般燃尽，也不愿被干腐的木材给熄灭；我宁愿是一颗超级流星，每个原子都是华丽的光芒，而非一颗沉寂不变的恒星。人类当有的作为应该是去生活，而非仅仅是生存，我将不会为了延长生命而浪费岁月，我将善用我的时间。
杰克·伦敦
对这些简略、笨拙、不明确的早期文字的使用，同它们的使用者的人数一样都受到了限制。任何人如果希望去发现公元前3000年苏美尔人的思想和感情，是注定要失望的。最早的苏美尔文文本只是宫廷和寺庙官员所记的一些毫无感情的账目。在已知最早的乌鲁克城苏美尔档案中，大约如90％的刻写板上都是神职人员记下的采购货物、工人配给和农产品分配等事项。只是到了后来，随着苏美人从语标文字逐步过渡到语音文字，他们才开始写作记叙体散文，如宣传资料神话。
贾雷德·戴蒙德
我现在只是在过年轻人的一关。谁都有一些关要过的，是不是呢？
杰罗姆·大卫·塞林格
如果说，人类的生活可以受理性支配，那就不会有生活了。
托尔斯泰
The greatest wisdom is to realize one's own ignorance.
最大的智慧是认识到自己的无知。
塞尔玛·拉格洛夫
Art is not about answers, it's about questions.
艺术不是关于答案，而是关于问题。
恩佐·库基
生活本身不是一门课程，而是一种经历和探索。
曾焱冰
Education is an ornament in prosperity and a refuge in adversity.
教育是富有时的饰品，穷乏时的避难所。
亚里士多德
“人生以服务为目的，赚钱只是顺便”，台湾一位已经退隐的企业家，告诉江南春的这句话，确实段位够高。
王兴
遇到新事物，不妨先看看别人是怎么做的，这可能少走很多弯路，比自己闭门造车效果好得多。
马云
Happinessiswantingwhatyouget。
卡耐基