形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
故人西望不见，斜阳现。万里山河梦断，仰天叹。思别离，发梢乱，泪空弹。帆影轻绰如箭，过千山！
倾泠月
情感智力中最大的技能是通过理解和回应对方的情感，与他人建立良好的关系。
罗伯特·戴博德
“不会独处，是人生中最大的不幸”“现在我们所有的不堪，可能都是因为我们不善于面对孤独”。
尼采
我是个经常笑的人，可是我不是经常快乐，很多时候当我感到悲伤，泪水还没来得及涌上来，笑容已经爬上了眼角眉梢。我对我喜欢的人才会生气，不喜欢的人却对他们微笑。
郭敬明
世界上最强有力的人就是那最孤立的人。
亨利克·易卜生
在和你说再见之前，我还想告诉你此时此刻我心中跳动的情感、饱含的深情，以及对你温柔的关心，还有感激。照顾好自己，振奋起来，也要记得保持美丽。我爱你，我高贵的姑娘！我等你，并在这封信里附上我头顶所看到的蓝天和照耀在身上的阳光，希望它们能给你带去力量和勇气。
加缪
千万森林的诞生源于一粒橡果。
The creation of a thousand forests is in one acorn.
朱利叶斯·斯特林·莫顿
在暴风雨中，我们挺起胸膛，迎接黎明的曙光。
光未然
永远记住每次成功都可能导致你的失败，每次失败好好接受教训，也许就会走向成功。
马云
有非凡志向，才有非凡成就。
比尔·盖茨
一个人，一旦做出一次妥协，他就不会再停止了，妥协必会导致新的妥协。
斯蒂芬·茨威格
事业是理念和实践的生动统一。
亚里士多德
此生谁料，心在天山，身老沧洲。
陆游
一切都是有联系的，一切。
Everything is connected, everything.
托马斯·品钦
The state of your life is nothing more than a reflection of your state of mind.
你的生活状态不过是你心态的反映。
韦恩·戴尔
假如有一种纯洁的、没有任何杂志的爱，那他就是隐藏在我们心灵深处，甚至我们自己也觉察不到。
拉罗什富科
儿童时期如不经说话的训练，真是遗弃了一个最可宝贵的锁钥。
叶圣陶
一件商品的价值，有理性的使用价值部分，也有感性的情感价值部分。理性价值部分，原材料成本占比会很高，而感性价值部分，可以被认为是一种虚拟产品，所以“边际成本”很低。
刘润
人德八本，习勤、崇俭、谦谨、敬恕、毋贪、去私、专一、有恒。
曾国藩