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

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

埃德蒙·克拉克

钱是社会资源要更有效率利用。

马云

The future of animal health lies in prevention, not just treatment.

动物健康的未来在于预防，而不仅仅是治疗。

杰夫·西蒙斯

关于技术最重要的事情是它如何改变我们的生活方式。

The most important thing about a technology is how it changes the way we live.

史蒂芬·平克

"Silence is as important as the words we speak."

沉默和我们所说的话一样重要。

约恩·福瑟

铭刻在心：每一天都是一年中最好的日子。

爱默生

一刹真情，不能说那是假的，爱情永恒，不能说只有那一刹。

三毛

开弓没有回头箭，任何事，只要开了头就要干到底，不能半途而废。

莫言

出外旅行的人，极其所能，也仅有把自我的安危委诸天命，因为除此之外，别无他法。

林语堂

对于我来说，美必须是这样的东西。它从人生中遮隔我，又从人生中保护我。

三岛由纪夫

理想是指路明星，没有理想，就没有坚定的方向，而没有方向，就没有生活。

托尔斯泰

对上要有礼貌，但是不能够讨好。以下不宜太严，也不能够过份宽松。平行同事不必太拘束，也不应该过份熟不拘礼。

曾仕强

A brand is defined by the promises it keeps.

品牌是由它信守的承诺定义的。

吉姆·麦克莱伦

我以五万万兆汉人受制于数百万鞑妖，天下哪有如此之大耻！

洪秀全

我们都是遗传继承的马赛克。

We are all mosaics of genetic inheritance.

斯万特·帕博

世间所有的事，都要我们去做选择。正如一份感情，注定要消失的时候。你唯一可以做的，就是忘记她。或者，让她忘记你。

刘亦菲

写作是为无声者发声的一种方式。

"Writing is a way to give voice to the voiceless."

贾森·雷诺兹

Wise men talk because they have something to say; fools, because they have to say something.

智者说话，是因为有些话要说；愚者说话，则因为要说些话。

柏拉图

旌旗如火浪如鸥，一路春城次第游。

范仲淹

孩子不能从环境中得到回应，与外界互动的机会就会遭受剥夺。

蒙台梭利

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

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