The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
儿童的行为矫正需要耐心和智慧，急于求成只会适得其反。
陈默
凡事当留馀地，得意不宜再往。
朱柏庐
国际金融市场的波动性增加，要求各国在政策协调上更加紧密合作。
佟家栋
所有重大科学革命都是由范式转换引发的。
李善友
我希望能够带领着大家，让娃哈哈成为世界五百强的企业！
宗馥莉
求友须在良，得良终相善。求友若非良，非良中道变。欲知求友心，先把黄金炼。
孟郊
"The truth will set you free, but first it will piss you off."
“真相会让你自由，但首先它会让你生气。”
格奥尔基·戈斯波迪诺夫
爱情和感情是不完全一样的，梦归梦，尘归尘，土归土，请人是要梦的，老婆是要守的。黄脸婆永远是黄脸婆，梦中请人淡罗衫淡罗裙，总在灯火阑珊处。可是走近些，挑灯细看，灯火阑珊处的梦中情人也不过是另一个黄脸婆。
冯唐
一个肮脏的国家，如果人人讲规则而不是谈道德，最终会变成一个有人味儿的正常国家，道德自然会逐渐回归;一个干净的国家，如果人人都不讲规则却大谈道德，谈高尚，天天没事儿就谈道德规范，人人大公无私，最终这个国家会堕落成为一个伪君子遍布的肮脏国家。
胡适
不为自己求安乐，但愿众生得离苦。
弘一法师
生年不满百，安能为他人拭涕。人生可是如此，且行且珍惜。自我永远是自我的主角，不要总在别人的戏剧里充当着配角。仅有人能把自我的境界提高一个层次，才不会为近期的忧郁而伤怀，而总是纠结其中不能释怀。还是那句话说得很好，人之所以悲痛，是因为看得不够远。未来没有来临之前，怎样明白此刻所谓的困境，不是一件好事呢。人要向前看，向前看。尤其是感情，根本是无须去纠结其中的对错，因为是没有对错的。
林语堂
过的是花的生活，生长于光天化日之下，微风细雨之中；过的是鸟的生活，游息于山巅水涯，寄身于上下左右空气环围的巢床里；过的是水的生活，自在地潺潺流走；过的是云的生活，随意地袅袅卷舒。
冰心
人生是个含泪的微笑。
欧·亨利
Innovation in architecture comes from questioning the obvious.
建筑的创新来自于对显而易见的事物的质疑。
凯文·罗奇
领导力在于让他人因为你的存在而变得更好，并确保这种影响在你离开后依然持续。
Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.
玛莎·莱恩·福克斯
每当看到别人成双成对的时候，才感到一个人好寂寞。只是真爱已不在，真心也不算。
佚名
All things that exist on natural reasonable.
凡是存在的事物就天然具有合理性。
黑格尔
照亮我的道路，并且不断地给我新的勇气去愉快地正视生活的理想，是善、美和真。要是没有志同道合者之间的亲切感情，要不是全神贯注于客观世界——那个在艺术和科学工作领域里永远达不到的对象，那么在我看来，生活就会是空虚的。人们所努力追求的庸俗的目标——财产、虚荣、奢侈的生活——我总觉得都是可鄙的。
爱因斯坦
洪水可以从涓滴的细流中发生。
莎士比亚