形式化方法不是银弹，但它们是追求可靠系统的重要工具。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

约瑟夫·斯法基斯

努力不是为了鹤立鸡群，而是要离开鸡群。

刘震云

"It is during our darkest moments that we must focus to see the light."

正是在我们最黑暗的时刻，我们必须集中精力看到光明。

尼古拉·马修

Music is the bridge between the seen and the unseen.

音乐是可见与不可见之间的桥梁。

莎拉·布莱曼

假如你容易感到无聊，表示你能正常察觉他人的胡说八道；假如你会遗忘某些事物，表示你的心智懂得过滤资讯；假如你觉得悲伤，表示你是个人。

塔勒布

倘若世间没有风和雨，这枝上繁花，又归何处？只惹得人心生烦厌。

冰心

金融监管要与时俱进，既要鼓励创新，又要防范风险。

Financial supervision should keep pace with the times, encouraging innovation while preventing risks.

李东荣

自我暗示能使你把面粉当药剂，从而治好你的病，也可使你把毒液当药水吃，从而使你送命。

奥格·曼狄诺

有时，不知怎的，一颗心偶然受到一句话的暗中撞击，就会不知不觉地产生了皱纹。在恋爱中的人会发觉他的幸福减退。最可怕的莫过于水从瓶子的裂缝中慢慢地渗出来。《笑面人》

雨果

我以为负恩是人类最大的缺点。

拿破仑

对一个人来说，某件事只要能做好，并且做到比大多数人好，他就不会对那件事儿没兴趣。往往不是有兴趣才能做好，而是做好了才有兴趣。

李笑来

读书易，读人难。

查斯特菲尔德

柔软是立身之本，刚强是惹祸之胎。

译文：待人处世柔软能立身，过于刚强能惹灾祸。赏析：人过刚则易折，过柔则易弯。柔弱不是懦弱，是对世事的利害把控。人过于刚强，就会处处破壁。我们要把握好刚与柔的尺度，过于柔弱就会受人欺负，过于刚强就会招致祸患。

佚名

I have failed many times, and that's why I succeed.

我失败了很多次，这就是我成功的原因。

罗纳尔多

I'm not perfect, but I'm limited edition.

我不完美，但我是限量版。

李尔·韦恩

产业与科学之间的合作是开启真正海洋管理的关键。

Collaboration between industry and science is the key to unlocking true ocean stewardship.

帕特里夏·怀特

决定我们自身的不是过去的经历，而是我们自己赋予经历的意义。心里创伤并不存在。

岸见一郎

建筑的价值不在于它有多高，而在于它有多真实。

王澍

"We think we’re the ones who notice things, but really it’s the things that notice us."

我们以为是我们注意到了事物，但实际上是事物注意到了我们。

乔恩·麦格雷戈

人生中最悲惨的境界，就是到了这种无可奈何、别无选择的时候。

古龙

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

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