The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
"Every face hides a story, every story hides a face."
每张脸都隐藏着一个故事，每个故事都隐藏着一张脸。
帕特里克·莫迪亚诺
语言是存在的家。人在其中居住。
"Language is the house of being. In its home man dwells."
克里斯托夫·海因
Music is a world within itself.
音乐本身就是一个世界。
恩雅
The best architecture comes from a synthesis of all the elements that separately comprise a building: the structure that holds it up; the services that allow it to function; the ecology of the building - its relationship to the surroundings; the quality of natural light; the symbolism of the form; the relationship of the building to the skyline.
最好的建筑来自于所有单独构成建筑的元素综合：支撑它的结构；使其运作的服务；建筑的生态 - 它与周围环境的关系；自然光的质量；形式的象征意义；建筑与天际线的关系。
诺曼·福斯特
Freedom is a heavy load, a great and strange burden for the spirit to undertake.
自由是一个沉重的负担，是精神承担的一个伟大而奇怪的负担。
科尔森·怀特黑德
你一定可以找到一个无所事事的下午，就像你好多年前放学后无所事事的下午一样，陪着孩子翻一本书，聊一些童年成长的故事，让他感受到在当年的那个情况下，他的妈妈，他的爸爸也是一个喜欢山水，寄情于自然的人。
董宇辉
希望是一幅美好的早餐，但却是一顿糟糕的晚餐。
玛丽·麦卡锡
她的情绪需要孤独和沉默，而只有人多才能提供这种可能。
简·奥斯汀
Men are strange things, but more strange are women.
男人是奇怪的东西，而更奇怪的是女人。
拜伦
通常人们总是认为盗贼、凶手、暗探、妓女必定承认自己的行业很坏，引以为耻。实际上完全相反。凡是由于命运或者由于本身的过失和错误落到某种地位上的人，不论他们的地位多么不正当，却总会对一般生活形成一种足以使得他们的地位在自己心目中显得又好又正当的看法。为了保持这样的看法，这种人总是本能地依附那些承认他们对生活所形成的概念，承认他们对自己的生活地位所形成的概念的人。每逢事情涉及盗贼夸耀他们的本领，妓女夸耀她们的淫荡，凶手夸耀他们的残忍，这样的事情就总会使得我们感到惊讶。然而，这所以会使得我们感到惊讶，无非是因为那些人的生活圈子和生活气氛局限在狭小的范围里，而且主要的是因为我们处在局外罢了。不过，每逢富翁夸耀他们的财富，也就是他们的掠夺，军事长官夸耀他们的胜利，也就是他们的屠杀，统治者夸耀他们的威力，也就是他们的强暴，这岂不是同一类的现象？我们所以在这些人身上没有看出他们的生活概念反常，也没有看出他们为了替他们的地位辩护而颠倒了善与恶的概念，无非是因为具有这种反常的概念的人们圈子比较大，而且我们自己也是这个圈子里的人而已。
托尔斯泰
为什么教师要研究心理学，教育史，各科教学法一类的科目呢？有两个理由：一、有了这类知识，他能够观察和解释儿童心智的反应——否则便易于忽略。二、懂得了别人用过有效的方法，他能够给予儿童以正当的指导。
杜威
Leadership is about vision and responsibility, not power.
领导力是关于愿景和责任，而不是权力。
简·史密斯
我生性自由散漫，不喜欢拘束。我谁也不爱，谁也不恨。我没有欺骗这个，追求那个；没有把这个取笑，那个玩弄。我有自己的消遣。
塞万提斯
关于我，你必须要知道的是我非常直接。我从来不怕把我对某人最真实的想法全部说出来
One thing you gotta know about me is I have absolutely no filter. I have no problem saying what the hell I think of someone.
科比·布莱恩特
智慧意味着自知无知。
苏格拉底
"Identity is not just about where you come from, but also about where you are going."
身份不仅关乎你来自哪里，也关乎你将去向何方。
阮清越
孤独和寂寞不一样。寂寞会发慌，孤独则是饱满的，是庄子说的“独与天地精神往来”，是确定生命与宇宙间的对话，已经到了最完美的状态。
蒋勋
永远不要把你今天可以做的事留到明天做。延宕是偷光阴的贼。抓住他吧！
狄更斯
幸运之神的降临，往往只是因为你多看了一眼，多想了一下，多走了一步。
蒙台梭利