模型检查是验证有限状态并发系统正确性的强大技术。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

约瑟夫·斯法基斯

一如灵魂和理性相互依存。

纳丁·戈迪默

教育永远不会结束，沃森。它是一系列的课程，最后一课是最伟大的。

"Education never ends, Watson. It is a series of lessons, with the greatest for the last."

安德鲁·肖恩·格里尔

身在井隅，心向阳光；眼里有诗，自在远方

张安琪

不是为了让我在演讲时膝盖不会发抖，而是要学会如何在膝盖发抖时，还能继续演讲。

1950年代巴菲特花了一百五十元去上卡内基课程，他说这么做的目的。

巴菲特

You can't manage what you don't measure.

你无法管理你无法衡量的事物。

汤姆·罗奇

肚子饿了，开始吃饭，吃得饱饱，开始想你；觉得困了，开始睡觉，睁开眼睛，开始想你。夜幕低垂的那一刻，其实什么事情也没有发生。

几米

我不是一个喜欢坐着等待事情发生的人。我让事情发生。

I'm not a person who likes to sit around and wait for things to happen. I make them happen.

凯瑟琳·泽塔-琼斯

革命者的鲜血是红色的，墨水也是红色的，特别是当蓝墨水用完的时候！

切格瓦拉

成功不是终点，而是一个持续改进和学习的过程。

"Success is not a destination, but a journey of continuous improvement and learning."

阿比盖尔·约翰逊

王强一时谈得兴起，突然发力道：“小平，哑巴英语，其实也是一种奇迹！一种教育制度，能够把一个能说会道的人教成哑巴，你不觉得这是一种奇迹吗？它肯定是一种强大而有效的制度！我越琢磨越觉得这个现象大有研究价值——既然传统教育能够把学生教成哑巴，如果我们研究出其中那行之有效制造哑巴的教学思想和方法，然后反其道而行之，不就能够彻底解决哑巴英语问题吗？”

徐小平

少来一些政治喧嚷，少发一些知识分子议论，多接近生活。

列宁

The mother-child relationship is paradoxical and, in a sense, tragic. It requires the most intense love on the mother's side, yet this very love must help the child grow away from the mother, and to become fully independent.

母子关系是矛盾的，在某种意义上，是悲剧性的。它需要母亲最强烈的爱，然而这种爱必须帮助孩子离开母亲，变得完全独立。

艾瑞克·弗洛姆

团队的成功不是一个人的荣耀，而是每个人的付出。

坦然

我们还有很长的路要走，但我们正朝着正确的方向前进。

We still have a long way to go. But we are moving in the right direction.

简·古道尔

The key to successful investing is to have a clear understanding of the market, the risks involved, a disciplined approach, a long-term perspective, a strong understanding of the fundamentals, and a clear understanding of the risks and rewards.

成功投资的关键是清楚地理解市场、涉及的风险、纪律性的方法、长期视角、对基本面的深刻理解以及对风险和回报的清晰理解。

比尔·格罗斯

我不敢说我是天下第一，但我也绝对不会承认我是第二。

李小龙

所有漂亮的姿态背后，不过是提前的功课，工夫用得足够，人人都是最好的戏子。

舒仪

国家安全是最高法则。

The safety of the state is the highest law.

特奥多尔·蒙森

如果天空能容下彩虹的所有颜色，为什么人类容不下不同的肤色？

曼德拉

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

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