"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
这就是人类第一个划时代的变革，人类建立了家庭，形成了某种形式的私有制，也给自己带来了无穷无尽的争吵和冲突。
卢梭
为政之道在于安民，安民之要在于察其疾苦。
张居正
花不可以无蝶，山不可以无泉，石不可以无苔，水不可以无藻，乔木不可以无藤萝，人不可以无癖。
张潮
善，应为心之所向。爱自由应甚于爱一切。
贝多芬
他开始理解，每个地方都有它独特的历史和文化。
塞尔玛·拉格洛夫
我经常独自一人。我很高兴整个周末我能够独自一个人待在公寓。这正是我充电的方式。
奥黛丽·赫本
火药让我理解了生命的短暂与永恒。
Gunpowder made me understand the transience and eternity of life. 火药让我理解了生命的短暂与永恒。
蔡国强
参加葬礼不是朋友最后的责任。
德尼·狄德罗
但也许，这是因为，你并没有想象中那么努力。
陈果
我变得太快：我的今天否定我的昨天。我登高时，常常越过阶梯跳级，——任何阶梯都不原谅我。
尼采
当你真爱一个人的时候，你是会忘记自己的苦乐得失，而只是关心对方的苦乐得失的。
罗兰
兵威空朔漠，法力仗瞿昙。
岳飞
Once people become famous, it is a great misfortune to have a friend, it is a great misfortune. And in particular, the people who are claiming to be friends are going away from you.
人一旦成名，就一个朋友也没有了，这是一个很大的不幸。而尤其不幸的是自称为朋友的人也都离你而去。
卢梭
真正的智能是让机器理解人的意图，而不是让人去适应机器。
True intelligence is about making machines understand human intentions, not making humans adapt to machines.
李志飞
得到机会以后，需要更加小心谨慎，因为往后的路更难走。
曾仕强
痴子，世界原是大戏台，毋须掬泪；傻子，戏台本来小世界，且宜佯疯。
二月河
如果你希望成功，当以恒心为良友、以经验为参谋、以谨慎为兄弟、以希望为哨兵。
爱迪生
我们的知识，源于我们的感知，接着是理解，最终是论证。
泰勒斯
反应的概率由其强化历史决定。
The probability of a response is determined by its reinforcement history.
克拉克·赫尔