Today is difficult, tomorrow is more difficult, but the day after tomorrow is beautiful. - 每日文摘

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

埃德蒙·克拉克

青春会逝去，爱情会枯萎，友谊的绿叶也会凋零。而一个母亲内心的希望比它们都要长久。

荷马

行为就是一种可以观察到的有机体反应。

约翰·华生

鸳鸯双栖蝶双飞，满园春色惹人醉。

吴承恩

我是一个创造天才，没有其他方式可以形容。

I'm a creative genius and there's no other way to word it.

坎耶·韦斯特

我总是要提醒自己，春夏后必有秋冬，新蕊后必定枯萎。人的一生既长且短，若不是借着记忆与书写，我将会变成一个如何世俗的俗人？

伊能静

今之學者不能見其近者小者，而妄意談其大者逺者，故終汗漫而無成也。

吕本中

基因组是时光机。

The genome is a time machine.

斯万特·帕博

世界就是一切实际情况。

The world is everything that is the case.

约翰·班维尔

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

处理一个不自由的世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反抗。

塞尔玛·拉格洛夫

宗教使人们相信在天上有一个我们看不见的人，他每时每刻都观察着你所作的一切，而这个我们看不见的人有十件不希望我们做的事，如果你做了，他就会把你送到某个地方，哪里到处是炙人的火和烟，还有你要永远忍受的痛苦和折磨，这些痛苦、烈焰和惨叫会持续到时间的尽头。但是，他是爱你的，而且他需要钱。

乔治·卡林

他们早已随年龄的增长而变成了慈爱，可他们仍然动了动嘴唇，像是想回忆起那紧绷绷皮肤上年轻的汗水的滋味。

托妮·莫里森

三更灯火五更鸡，正是男儿读书时；黑发不知勤学早，白首方悔读书迟。

颜真卿

身体记得头脑试图遗忘的东西。

The body remembers what the mind tries to forget.

安妮·埃尔诺

It’s not what we do once in a while that shapes our lives, but what we do consistently.

塑造我们生活的不是我们偶尔做的事情，而是我们持续做的事情。

托尼·罗宾斯

你不知道你，你才是你；你知道你，你就不是你了。

王志文

讲到学习方法，我想用六个字来概括：“严格、严肃、严密。“这种科学的学习方法，除了向别人学习之外，更重要的是靠自己有意识的刻苦锻炼。

苏步青

能源的未来在于可持续和高效的解决方案。

The future of energy lies in sustainable and efficient solutions.

琳达·库克

人的激情通常比他们的理性更强大。

The passions of men are commonly more potent than their reason.

托马斯·霍布斯

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

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