"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
妇女能顶半边天。
毛泽东
相信自己的才能，相信自己能够成为自己想要成为的人。
蔡磊
然而这一次我还没答完，也不愿意离开考场。
蔡磊
人不只是发现自己，寻觅自己；而且是去创造、建立那只能活一次的独一无二的自己。
李泽厚
正确的思想，本身就是一种创造。
卡耐基
你来，无论多大风多大雨，我都要去接你。
梁实秋
研读哲学，学会思考。
吉姆·罗杰斯
数学的美只向更有耐心的追随者展示。
The beauty of mathematics only shows itself to more patient followers.
尤里·泽瓦
你的来临对我是多么沉重，在我的心灵里，在我的血液里，引起多么痛苦的陌生。一切狂欢和所有的春光，只会将厌倦和愁闷注入我的心。请给我狂暴的风雪，还有那幽暗的漫长冬夜。
普希金
一个好的细分市场的首要条件是市场规模要大，道理很简单，水大鱼才大，家里的鱼缸再大也养不出鲸鱼。
小马宋
世界上，众口喧腾的可能是虚假;万人嗤笑的，可能是真实;长久期盼的，可能是虚假;猝不及防的，可能是真实;叠床架层的，可能是虚假;单薄瘦削的，可能是真实。
余秋雨
天下之事，其得之不难，则其失之必易；其积之不久，则其发之必不宏。
王阳明
最好的书是读完后仍长久留在你心中的书。
The best books are those that stay with you long after you’ve read them.
J·M·库切
接受命定的责任，也许你会觉得很沉重，但这种沉重可能会给你带来真实的快乐。就像我非常喜欢引用的康德的一句话：“道德本来就不教导我们如何使自己幸福，而是教导我们如何使自己无愧于幸福。”
罗翔
Winning trophies with my team is the best feeling in the world.
和我的团队一起赢得奖杯是世界上最好的感觉。
ZywOo
还好我们不是专业的教授学者，不必花脑筋负责解决这样专业但无趣的问题，我们只要享受这些原始具象字形和今天我们理解的抽象意义之间的美好联系就行了。
唐诺
我认为普通人可以选择成为非凡的。
埃隆·马斯克
世间真正温煦的美色，都熨帖着大地，潜伏在深谷。君临万物的高度，到头来只构成自我嘲弄。
余秋雨
我从来就不同意在爱情上也有进化论一说，唯独爱情是不可能与时俱进的。
郦波