The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
Do not let yourself be tainted with a barren skepticism.
不要让自己被贫瘠的怀疑主义所污染。
路易斯·巴斯德
思想是行动的仆人，而行动是生存的仆人。
Thought is the servant of action, and action is the servant of survival.
塞巴斯蒂安·维特尔
领导力就像修剪果树，有时必须剪去一些才能让其他部分更茁壮成长。
Leadership is like pruning: sometimes you must cut back to allow stronger growth.
凯伦·路易斯
态度决定一切。
杰克·韦尔奇
何为认真地对待童年？如果我们充分地意识到幸福时间中立性的虚妄，意识到童年和幸福是不可分离的，就会把儿童视作一个完整的人、一个具有完全人格的人，有头脑亦有身体、有理智亦有情感、有学习亦有玩耍。认真地对待童年，就是认真地对待童年的完整性。
严开宏
批评家的责任是引导读者深入理解作品，而不是简单地贴上标签。
白烨
使李将军，遇高皇帝，万户侯何足道哉。
刘克庄
我想我一定使母亲做过最坏的准备了，但她从来没有对我说过：“你为我想想。”事实上我也真的没为她想过。那时她的儿子还太年轻，还来不及为母亲想，他被命运击昏了头，一心以为自已是世上最不幸的一个，不知道儿子的不幸在母亲那儿总是要加倍的。
史铁生
To put it all in confusion, people not only did not make us understanding, but to make us evil.
在把所有这一切搞得混淆不清时，人们非但没有使我们明理，反而使我们变得邪恶。
卢梭
精神内耗说白了，就是自己心里的戏太多了，言未出，结局已演千百遍，身未动，心中已过万重山，行未果，假象苦难愁不展，事已毕，过往仍在脑中演。
余华
你不可能大学一毕业就拥有一切，这不符合社会发展规律。
宗庆后
世界犹如一面镜子：朝它皱眉它就朝你皱眉，朝它微笑它也朝你微笑。
罗斯福
本色与信任、服务精神、同理心、勇气、合作与团队配合、创新、求知欲与终身学习、讲好故事。
约翰·轩尼诗
我已经履行了我的职责。我证明了庞加莱猜想，我在数学上没有什么可做的了。
I have already carried out my duty. I have proved the Poincaré conjecture and I have nothing more to do in mathematics.
格里戈里·佩雷尔曼
艺术是最高形式的希望。
Art is the highest form of hope.
托马斯·曼
五台山是文殊菩萨的道场，也是修行者的圣地。
希阿荣博堪布
超现实主义的精神是一种反叛精神，一种不断质疑我们被告知的现实的精神。
安德烈·布勒东
电影制作的艺术就是讲故事的艺术。
The art of filmmaking is the art of storytelling.
马丁·斯科塞斯
心的边疆，可以造的很大很大，像延展性最好的金箔，铺设整个宇宙，把日月包涵，没有一片乌云，可以覆盖心灵辽阔的疆域；没有哪次地震火山，可以彻底覆盖心灵的宏伟建筑；没有任何风暴，可以冻结心灵深处喷涌温泉；没有某种天灾人祸，可以在秋天，让心的田野颗粒无收。心的规模，也可以缩的很小很小。只能容纳一个家，一个人，一粒芝麻，一滴病毒。一丝雨，就把他淹没了；一缕风，就把它粉碎了；一句流言，就让它痛不欲生；一个阴谋，就置它万劫不复。优等的心，不必华丽，但必须坚固。因为人生有太多的压榨和当头一击，会与独行的心灵，在暗时狭路相逢。如果没有精心的特别设计，简陋的心，很容易横遭伤害，一蹶不振，也许从此破罐破摔再无生机。没有自我康复的本领，是不设防的大门
毕淑敏