"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

I am only resolved to act in that manner, which will, in my own opinion, constitute my happiness, without reference to you, or to any person so wholly unconnected with me.

我只是决心按照我自己的意见去行事，这将构成我的幸福，而不考虑你或与我毫无关联的任何人。

简·奥斯汀

The market is always changing, but the constant is a deep understanding of customer needs.

市场永远在变，唯一不变的是对客户需求的深刻理解。

薛华

你要懂得欣赏悲剧，悲剧能丰富你的心灵。

余光中

节俭是你一生中食之不完的美筵。

爱默生

演员最大的挑战是在虚构中保持真实。

"The greatest challenge for an actor is to remain truthful in the midst of fiction."

马塞洛·马斯楚安尼

一切显象中，持久的东西都是对象本身，也就是说，是实体，而一切变易或者能够变易的东西，都仅仅属于这一实体或者各实体实存的方式，从而属于它们的规定。

康德

科学不仅是理性的学科，也是浪漫和激情的学科。

Science is not only a discipline of reason but also one of romance and passion.

路易斯·布鲁斯

面对大河我无限惭愧我年华虚度空有一身疲倦和所有以梦为马的诗人一样岁月易逝一滴不剩。

海子

桃李溪边驻画轮。

苏轼

死人是无法予活人以慰藉的：我们面临苦难的深渊时苦苦向死人求助，可是他们的沉默、他们的无影无踪让他们看起来更像是这苦难的帮凶。

弗朗索瓦·莫里亚克

It is when we act freely, for the sake of the action itself rather than for ulterior motives, that we learn to become more than what we were.

当我们自由行动时，为了行动本身而不是为了其他动机，我们学会变得比我们原来更多。

米哈里·契克森米哈赖

创业时从事的行业必须是深思熟虑的结果。选择对你有吸引力的行业或产品。如果不够了解，请多花时间学习，或多接触了解的人。如果你不能懂得比你的投资人多，你不会得到投资的。

李开复

在一切创造物中间没有比人的心灵更美、更好的东西了。

海涅

犯错是人之常情。承担你的错误是神圣的。没有什么比迅速承认你所犯的错误，并承担个人责任，然后公平地纠正错位更能提升一个人的地位。如果你搞砸了，大胆承认错误吧。这种力量非常强大。

To make mistakes is human. To own your mistakes is divine. Nothing elevates a person higher than quickly admitting and taking personal responsibility for the mistakes you make and then fixing them fairly. If you mess up， fess up. It’s astounding how powerful this ownership is.

凯文·凯利

为了完成自己，任何考验都得忍受；为了解决纷争，任何责任皆得担当。

星云大师

教育必须将自然、科学和社会三者有机地结合在一起，以促进儿童的全面发展。

杜威

科学的旅程不仅仅是关于目的地，而是我们到达那里的路径。

The journey of science is not just about the destination, but the path we take to get there.

丹尼尔·哈洛

只要还有机会，我就不会放弃。

一诺

友情的价值在于互不伤害各自的独创性。

武者小路实笃

—— 请按键盘 空白键 开始游戏 ——

—— 请按键盘空白键开始游戏 ——