"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
Being different means you have something special to offer the world.
与众不同意味着你有特别的东西可以奉献给这个世界。
辛西娅·角畑
如果你正在经历幸福，那么就享受吧。不要觉得自己总有一天要失去它。因为无论如何，你已经拥有了可以用来回忆一辈子的美好。
杨幂
欲求生富贵，须下死工夫。
周希陶
评价具有反馈调节、导向激励和反思总结等功能，是教学活动不可或缺的组成部分。评价取向：“发展为本”超越“奖优罚劣”。评价：内容：“整体多维”超越“唯智倾向”。评价主体：“多元主体”超越“一元权威”。评价方法：“灵活多样”超越“机械僵化”。评价走势：“学本评估”超越“学业评价”。
曾文婕
不是他不愿意向她打开珍藏这个秘密的匣子，而是直到那个时刻他才察觉，打开匣子的钥匙被丢掉了。
加西亚·马尔克斯
人不过是一根芦苇，是自然界中最脆弱的，但他是会思考的芦苇。
布莱士·帕斯卡
不要满足于故事的表面，要听没讲出来的话。
鲁米
不要歌颂苦难，但要敬畏生命的韧性。
朱媛媛
法律不可能创造一个没有危险的社会，如果真的存在这样的社会，那很有可能就是一个真空世界，社会正常的活力也是会丧失的。经商有没有风险？有风险，可能会亏损；吃油条有没有风险？有危险，可能会损害身体健康；滑雪有没有危险？滑雪很危险，可能会摔伤；恋爱危险更大，可能会受伤。但是法律不可能禁止所有的危险，我们必须允许人们进入到这样一个危险的世界，因为只有在危险的世界，人才能获得充分发展的自由。
罗翔
厨子杀鱼，母亲说‘罪过啊’，鱼儿却不曾记恨过谁的。
高诵芬
暖雨晴风初破冻，柳眼梅腮，已觉春心动。
温暖的雨和晴和的风初解冰冻，柳叶如眼、梅花如腮，已感觉到春心的萌动
李清照
《中庸》所谓‘天命之谓性’，揭示了儒家对人性与天道关系的独特理解。
《中庸》开篇指出人性源于天命的赋予
李景林
朗兰兹纲领是对数学知识边界的挑战。
The Langlands program is a challenge to the boundaries of mathematical knowledge.
罗伯特·朗兰兹
被人畏惧比受人爱戴安全得多。
马基雅维利
深感当下中国最危险的对立，不是富与贫，不是左与右，不是庙堂与江湖，而是有底线与无底线，有信仰与无信仰，有共识与无共识之间的对立。因所处社会地位不同而作出不同选择可以理解，但底线、信仰和共识则是不分贫富左右官民均赖以生存的公约数。毁之则众人互害，保之则多元并存。
贺炜
您越没有心肝，就越能步步高升。您越心狠手辣，人家就越怕你。您得把男男女女都当做驿马，把它们骑得筋疲力尽，到了站便扔下，这样您就能达到欲望的巅峰。您会发现，社会是骗子和受骗人的集合体。
巴尔扎克
女人用友情来拒绝爱情。男人用友情来换取爱情。
韩寒
归去来兮，夜月楼台花萼影；得不得也，楚天风雨鹧鸪声。
曾国藩
把脸一直向着阳光，这样就不会见到阴影。
海伦·凯勒