形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
其实人禽之辨，本不必这样严。在动物界，虽然并不如古人所幻想的那样舒适自由，可是噜苏做作的事总比人间少。它们适性任情，对就对，错就错，不说一句分辩话。虫蛆也许是不干净的，但它们并没有自鸣清高；鸷禽猛兽以较弱的动物为饵，不妨说是凶残的罢，但它们从来就没有竖过“公理”“正义”的旗子，使牺牲者直到被吃的时候为止，还是一味佩服赞叹它们。人呢，能直立了，自然是一大进步；能说话了，自然又是一大进步；能写字作文了，自然又是一大进步。然而也就堕落，因为那时也开始了说空话。说空话尚无不可，甚至于连自己也不知道说着违心之论，则对于只能嗥叫的动物，实在免不得“颜厚有忸怩”。假使真有一位一视同仁的造物主，高高在上，那么，对于人类的这些小聪明，也许倒以为多事，正如我们在万生园里，看见猴子翻筋斗，母象请安，虽然往往破颜一笑，但同时也觉得不舒服，甚至于感到悲哀，以为这些多余的聪明，倒不如没有的好罢。然而，既经为人，便也只好“党同伐异”，学着人们的说话，随俗来谈一谈，——辩一辩了。
鲁迅名人名言哲理格言警句语录 鲁迅
Our younger generation are going to transform this country while at the same time being transformed themselves.
我们年轻的一代将会改变他们的国家同时也改变自己。
杨澜名人名言哲理格言警句语录 杨澜
A little sincerity is a dangerous thing, and a great deal of it is absolutely fatal.
王尔德名人名言哲理格言警句语录 王尔德
好大喜功的那种人，遇到一些逆境，很容易搞歪门邪道。
查理·芒格名人名言哲理格言警句语录 查理·芒格
他走了一圈又一圈，终于明白了无价真理：悲喜交集，无有终点。
珍妮特·温特森名人名言哲理格言警句语录 珍妮特·温特森
能正直，能好好地想，能努力地劳动，无论做什么职业，都不是可耻的。无事不须劳力。也无事没有利益。但职业有好的也有坏的。所谓好的职业，就是适合于自己的职业；所谓坏的职业，就是不适合于自己的职业。职业上有等级。能使自己喜悦而于人有益的职业，等级最高。
亚米契斯名人名言哲理格言警句语录 亚米契斯
法律之剑不能到达的地方，讽刺之鞭必定可以达到。
普希金名人名言哲理格言警句语录 普希金
下一代的农民将是历史上最具技术头脑的一代。
The next generation of farmers will be the most technologically savvy in history.
迈尔斯·赫雷尔名人名言哲理格言警句语录 迈尔斯·赫雷尔
与狼共舞,尽显英雄本色！
吴京名人名言哲理格言警句语录 吴京
The best way to predict the future is to invent it.
预测未来的最好方式就是创造未来。
汪滔名人名言哲理格言警句语录 汪滔
常常提醒自己注意幸福，就像在寒冷的日子里经常看看太阳。
毕淑敏名人名言哲理格言警句语录 毕淑敏
而我的距离和他们是那么的遥远，这些东西，不是我此行的目的——我是来活一场的。
三毛名人名言哲理格言警句语录 三毛
True leaders are those who can foresee the future and plan ahead.
真正的领导者是那些能够预见未来并提前布局的人。
王铭名人名言哲理格言警句语录 王铭
人生最大的错误是不断担心会犯错。
乔治·桑德斯名人名言哲理格言警句语录 乔治·桑德斯
你应该做出伟大的事情，而不是承诺伟大的事情。
毕达哥拉斯名人名言哲理格言警句语录 毕达哥拉斯
事情有大道理，有小道理，一切小道理都归大道理管着。
毛泽东名人名言哲理格言警句语录 毛泽东
在你的胸前，我已变成会唱歌的鸢尾花，你呼吸的轻风吹动我，在一片丁当响的月光下。
舒婷名人名言哲理格言警句语录 舒婷
友谊的主要效用之一就在于使人心中的愤懑抑郁得以宣泄、弛放。……对一个真正的朋友，你可以传达你的忧愁、欢悦、恐惧、希望、疑忌、谏诤，以及任何压在你身上的事情。
培根名人名言哲理格言警句语录 培根
击不中的子弹不具备杀伤力，但是射进心脏里的子弹和刺进胸膛的刺刀却能杀人。让我们的每一颗子弹都杀死我们的敌人。
巴顿名人名言哲理格言警句语录 巴顿