形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
有钱人专注于机会。穷人专注于障碍。
哈维·艾克
我们每个人，最想要的就是爱与自由，对于我爱的人，我们愿意付出全部的爱和热情，这种爱本可持续，但热情却难以保持。《秘密》
东野圭吾
People always say that you can't please everybody. I think that's a cop-out. Why not attempt it?
人们总是说你无法取悦所有人。我认为这是借口。为什么不尝试一下呢？
坎耶·韦斯特
总之，愁生于郁，解愁的方法在泄；郁由于静止，求泄的方法在动。
朱光潜
但人不能永远浪漫下去，那会走向自我毁灭的。浪漫都是水字旁，会把人淹死的。人最终还是要进入一个规则体系，所谓~随心所欲不逾矩嘛。
罗翔
那一天我二十一岁，在我一生的黄金时代，我有好多奢望。我想爱，想吃，还想在一瞬间变成天上半明半暗的云，后来我才知道，生活就是个缓慢受锤的过程，人一天天老下去，奢望也一天天消逝，最后变得像挨了锤的牛一样。可是我过二十一岁生日时没有预见到这一点。我觉得自己会永远生猛下去，什么也锤不了我。
王小波
I've learned that people will forget what you said, people will forget what you did, but people will never forget how you made them feel.
我明白了人们会忘记你说过的话，忘记你做过的事，但他们永远不会忘记你给他们的感受。
玛雅·安吉罗
写作是一种抵抗遗忘的方式，也是一种自我救赎的尝试。
格非
拓宽教育空间的三个渠道：一是通过多样性的教育“周”“节”活动，渲染学校欢乐向上的氛围；二是通过主题性大单元教育活动，保证学校和社会、各学科间的相互协调和沟通，以及知识学习和知识应用相融合，扩大教育效果；三是通过野外情境教育活动，不断丰富课堂上儿童智能活动的源泉。
李吉林
为了人类的生存和延续，我们就应分散到宇宙空间居住，这就是十分重要的，地球上的生命被一场大灾难灭绝的危险性越来越大，比如突然的地球温度上升核战争基因变异的病毒或者其他我们还没有想到的灾难。
斯蒂芬·威廉·霍金
创新是解决粮食生产挑战的关键。
Innovation is the key to solving the challenges in grain production.
张改平
人得能力绝不是一成不变的。始终要把跨栏的。高度设置在比现有能力高两三成德高度。
稻盛和夫
不同事业部之间无界限的交换意见应该是很正常的事情。
杰克·韦尔奇
青春的光辉如此灿烂，令人不敢直视，那种天不怕地不怕的劲儿真叫人羡慕。
海伦·凯勒
The only thing I'm addicted to is winning.
我唯一上瘾的就是胜利。
Lady Gaga
金融市场的波动不仅由基本面驱动，更由投资者的情绪和认知偏差共同塑造。
余剑峰
世界上有两种人：一是无恒，一是误解了恒。
曾仕强
"The best way to predict the future is to build it."
预测未来的最好方法是建造它。
萨蒂亚·纳德拉
梦想中的爱情不是不可能在现实中出现。
司汤达