Computation has made the tree flower.
计算使树木开花。
艾伦·佩利名人名言哲理格言警句语录 艾伦·佩利
不想改过的人，无法调教；不想向善的人，无法得度。
星云大师
模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯
你一定要有天赋。不管是跑步还是别的领域，可是，天赋只是一部分。你一定要有的是热情，当你对一个东西有一种热情和专注的时候，你才会坚持的训练和挑战。
埃鲁德·基普乔格
一只巴掌拍不响。
谚语
我不是作家，我是战地记者。
I am not a writer, I am a war correspondent.
埃尔弗里德·耶利内克
情感的好处就是让我们引入歧途，而科学的好处是不感情用事。
王尔德
文化是时间和心灵酿造出来的，是一代代人共同的精神创造的成果，是自然积淀而成的。
冯骥才
我回到自己的祖国，却发现自己像个游客。
卡勒德·胡赛尼
我是明天，或未来的某一天，我今天所建立的。我是今天，我昨天或之前某一天所建立的。
I am tomorrow, or some future day, what I establish today. I am today what I established yesterday or some previous day.
詹姆斯·乔伊斯
即使不学习书本上的知识，孩子保有的记忆力也不会因此而一直闲置无用。他的所见所闻都会给他留下一定的印象，而且他会记住这一切。他把人们的言谈举止都记录在他自己的大脑里，而他周围的一切就是一本书。他会不加思考地继续不断地拿那些事情丰富他的记忆，同时等着这些能够促进他的判断力。要培养他形成这个基本的能力，真正的艺术在于：对他周围的那些对象加以选择；谨慎地不断展示他能够明白的东西；掩盖他应该忽略的那些东西和事情。我们应当通过这个方法设法帮他形成丰富的知识，以利于他整个青少年时期的教育，并益于他任何时候的为人处世。诚然，这个方法既产生不了什么神童，也不会让孩子的家庭教师和监护人名声远播，但是它能培养出有判断力、有理解力、稳健和身心都健康的人。这样的人虽然在小时候不会让自己为人所称羡，但是他们长大成人后会让自己受人尊敬。
卢梭
只有当我彻底投入事实中，恐惧才会消失。如果不投入事实，心中一定会有恐惧。只要我还怀着一堆的意见、理论和看法，就不可能接触到事实中的真相。
克里希那穆提
"I'm not a role model, I'm a role model's role model."
我不是榜样，我是榜样的榜样。
李尔·韦恩
聪明人也不免遭受过度自信带来的灾难。他们认为自己有更强的能力和更好的方法，所以往往他们就在更艰难的道路上疲于奔命。
查理·芒格
互联网的未来不在于技术，而在于人。
The future of the Internet is not about technology, it's about people.
罗伯特·梅特卡夫
随他们对我如何说，如何写，如何想。他们都不能使我不成其我。
罗曼·罗兰
女孩 我会让你知道我有多在乎你
Girl I'm gonna show you how much I care
男孩男人组合
做企业要有底线思维，确保企业稳健发展。
沈南鹏
他发现当一个人与熟悉的生活疏离，成为一个过客，陌生的事物都会被赋予新的意义。明白了这一点，保持真我，诚实地做一个哈罗德而不是扮演成其他任何人，就变得更加重要。
蕾秋·乔伊斯
我们也许可以同时爱两个人，又被两个人所爱。遗憾的是，我们只能跟其中一个厮守到老。
张爱玲