"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
总有些这样的时候，正是为了爱，才悄悄躲开，躲开的是身影，躲不开的却是那份，默默的情怀，月光下踯躅，睡梦里徘徊，感情上的事情，常常说不清，不是不想爱，不是不去爱，怕只怕，爱也是一种伤害。
汪国真
When a child is placed in a natural environment, he shows his abilities.
当孩子被放在自然环境里，他会显示出自己的能力。
蒙台梭利
劳动，只有劳动，才是一个人全面发展的基础。
苏霍姆林斯基
A novelist's job is to lie, but to reveal the truth through lies.
小说家的工作就是撒谎，但通过谎言揭示真相。
马里奥·巴尔加斯·略萨
朕即国家。
路易十四
科学领域的圆周有无数的原点，既然无法设想，有一天能够彻底测量这个领域，那么求贤之士来到人生的中途，就必然遇到圆周边缘的点，在那里怅然凝视一片茫然。
尼采
生活中的道德学习是这样的：以我们拥有的道德本能或善端为基础，通过接受暗示、非反思性选择和自主选择的交互作用而实现。我们有拥有的道德本能或善端是道德学习的前提，在接受暗示、非反思性选择和自主选择中都发挥着基础性作用。接受暗示、非反思性选择和自主选择不是孤立发挥作用的，而是交互在一起，综合地发挥作用，共同实现道德的学习。
高德胜
幸福本来可以很简单，说出你的爱，珍惜爱你的人，疼他，理解他，每天想着他的好。
泰戈尔
生活如果没有目标，就会变得懒散。一旦决定“今天这样做”，生活一下子就会张弛有度。
中村恒子
治身与治国，一理之术也。
吕不韦
知识是穿透表象的原子刀，而多数人宁愿活在认知茧房。
德谟克里特
关爱照顾好你的妹妹，对病人要友善，对于悲伤困苦的人们要体贴入微。
玛格丽特·米切尔
人间存一角，聊放侧枝花。欣然亦自得，不共赤城霞。
汪曾祺
价格机制能够协调供求关系，实现资源的有效配置。
亚当·斯密
幸福是一种灵魂的香味。
罗曼·罗兰
你妈妈那么抑郁是因为我。
I'm the reason your mama's so depressed.
艾米纳姆
人就像是骰子一般 把自己投掷到人生之中去。
让-保尔·萨特
银行家要有工匠精神，在每一个细节上追求卓越。
张青松
不要从你自己的袋里掏出勋章借给你的朋友，这是侮辱他的。
泰戈尔