系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
在一段时间我喜欢一段音乐，听一段音乐我怀念一段时光。坐在一段时光里怀念另一段时光的掌纹。那时听着那歌会是怎样的心情？那时的我们是否相遇？是相遇还是错过？还是，没有结局的邂逅？
徐志摩
幸福不是现成的东西。它来自于你自己的行动。
Happiness is not something ready made. It comes from your own actions.
埃尔西·索蒂罗普卢
君子不谓小善不足为也而舍之。
【大意】君子不认为细微的好事不值得去做而舍弃它。
刘安
零售业的本质就是服务，服务好顾客是企业生存的根本。
张轩松
If we don’t act now, the next generation will inherit a world with fewer resources and greater challenges.
如果我们现在不采取行动，下一代将继承一个资源更少、挑战更大的世界。
大卫·米勒
无子抄文字，老吟多飘零。有时吐向床，枕席不解听。斗蚁甚微细，病闻亦清泠。小大不自识，自然天性灵。
孟郊
Knowledge does not enrich us; it removes us more and more from the mythic world in which we were once at home by right of birth.
知识不会使我们更丰富；它使我们越来越远离神秘世界——这个我们曾经的天然家园。
荣格
The Internet is not just a technology, it's a social phenomenon.
互联网不仅仅是一种技术，它是一种社会现象。
文顿·瑟夫
越无杂质的奔赴，越是动人。
王源
一个人，特别想成为一个什么，但始终没成为一个什么，那么这个什么也就成了他一辈子第一魂牵梦萦的什么。
莫言
Fear is the enemy of freedom.
恐惧是自由的敌人。
哈维尔·马里亚斯
假使你不愿自杀，你最好找点工作做。
伏尔泰
人生的志向往往神秘莫测，极少有人能够沿着直线靠近它们，也不会有人在找寻它们的过程中一帆风顺。
巴菲特
梦想是人生的翅膀，有了梦想，你才能飞得更高。
撒贝宁
科学是一种思维方式，远不止是一堆知识。
Science is a way of thinking much more than it is a body of knowledge.
伊西多·拉比
每一个朝阳的升起对我来说都弥足珍贵，不论多么困难，在有生之年，我一定要把这些年来的文稿整理出来，结集出版。
史铁生
当你喜欢我的时候，我不喜欢你，当你爱上我的时候，我喜欢上你，当你离开我的时候，我却爱上你，是你走得太快，还是我跟不上你的脚步，我们错过了诺亚方舟，错过了泰坦尼克号，错过了一切的惊险与不惊险，我们还要继续错过。我不了解我的寂寞来自何方，但我真的感到寂寞。你也寂寞，世界上每个人都寂寞，只是大家的寂寞都不同吧。
几米
健康、知识和才能都满足这份工作的要求，非常适合教育他，并从他出生到长大成人一路引导他，除了他自己以外，他不需要其他人的指引。在我看来，对我这个害怕自己的幻想让他偏离正轨的作者来说，这个方法非常有用，因为一旦我背离常规的做法，我就只好将自己的那套方法试用于这个学生。我很快就会知道，或者说读者朋友们就会代我弄明白，我有没有遵循那个孩子的成长规律和人心的自然发展规律。
卢梭
之前的苦苦不肯相忘，不过是为了求证她的回忆不是虚幻的，不过是为了终有一天能重拾过去，但是如果回忆和过去都只是她一个人的，那执著又是何苦？
辛夷坞