"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
这个时代更需要“智慧型班主任”，而不仅仅是“勤奋型班主任”和“爱心型班主任”。
李伟
世人一如既往做出生存所需的举动，出于多种原因，其中首要的是习惯。
加缪
I'm the best rapper alive.
我是最棒的说唱歌手。
李尔·韦恩
你应该试着建立一种精神信仰，让自己的内心充实、 安定起来。
希阿荣博堪布
Art doesn’t have to be serious to be meaningful.
艺术不必严肃才有意义。
杰里米·戴勒
真正的韧性来自于为多种未来做准备，而不仅仅是预测一个未来。
True resilience comes from preparing for multiple futures, not just predicting one.
伯纳德·鲁尼
优质的原料是出色烘焙的基础，永远不要在这方面妥协。
Quality ingredients are the foundation of great baking; never compromise on them.
保罗·霍利伍德
水晶店老板对牧羊少年说：你希望实现你的梦想，而我只是想保有去麦加的梦想。我害怕实现了我的梦想，实现之后，我就没有活下去的动力了。
保罗·科埃略
青年力量所表现的本能是反对另外的青年力量或者有选择地和他们结合。因为各种思想都具有吸引力。它们先是犹疑探索尝试在两三个目标间徘徊，然后作出决断，并互相选择朋友。
罗曼·罗兰
The truth is rarely pure and never simple.
真相很少是纯粹的，也从不简单。
迈克尔·康奈利
寻不被认为是随机变动的异常现象。我们的目的是要随着时间变化分析数据和市场做统计学意义和一致性测试。一旦我们找到一个，我们会随着时间推移测试它的一致性和统计学意义。我们确定它的有效性后，会问，“这符合某些方面似乎合理的行为吗？
——西蒙斯的方法论
詹姆斯·西蒙斯
The measure of a company’s success should include its environmental legacy.
衡量一家公司的成功应该包括其环境遗产。
大卫·米勒
存在的东西无生无灭，它永远是同一的，居留在自身之内。
巴门尼德
穆勒对人性十分乐观，“不论在身体上、心理上，还是精神上，个人都是其自身健康的最佳守护者”，无拘无束的个人会倾向于“善”，追求高级的快乐。他说：“做一个不满足的人要比做一只满足的猪好，做一个不满足的苏格拉底要比做一个满足的傻瓜好。”
罗翔
人为刀俎，我为鱼肉。
司马迁
我们相信音乐的力量，它能够连接不同文化背景的人们。
单向组合
多年以前见过一部电影，叫，其中的一句对白，印象深刻。妈妈，十字架是爱的标志吗？是的，孩子。而且爱也常常意味着十字架。我有震动。若确知这是一个寂灭的过程，有去经历它的必要吗。就如同确知自己会死，那么有去活一遭的必要吗。我们总是承受不住生命的诘问。爱亦如此。盲目，偏可以换得长久。我是盲目与胆怯的。因我爱的，是你。
七堇年
智慧是最好的武器。
彼特·丁拉基
I think that the most powerful films are the ones that stay with you long after you've seen them.
我认为最强大的电影是那些在你观看后久久不能忘怀的电影。
格斯·范·桑特