我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

约瑟夫·斯法基斯

一个国家没有实力，要在这个强权横行的世界里谈平等，要别人尊重你，这是不可能的。

侯德榜

正其本者万事理，劳于永者逸于使。

张九龄

In the end, we will remember not the words of our enemies, but the silence of our friends.

最终，我们记住的不是敌人的话语，而是朋友的沉默。

克里斯蒂·沃森

The best monsters are the ones that show us something true about ourselves.

最好的怪物是那些向我们展示关于自己的真实一面的怪物。

陈志勇

良知即是道。

王阳明

在这世上，不值得我们与之交谈的人比比皆是。

伏尔泰

如果你不能在市场下跌时保持冷静，那么你也不配在市场上涨时享受收益。

但斌

色即是空，空即是色。

周希陶

雄辩是一幅思想的绘画；因而那些画完之后再舔笔的人，就是在写意而不是在写真了。

布莱士·帕斯卡

问心无愧，代价不菲。

成龙

我生命的开始很普通，和每个小生命一样：降临世间，观察世界，开始人生。就像每个迎接第一孩子的诞生的家庭一样，大家既紧张又欣喜。

海伦·凯勒

发现可能性的极限的唯一方法就是超越它们进入不可能。

The only way to discover the limits of the possible is to go beyond them into the impossible.

乔·霍尔德曼

我最害怕的莫过于共和国分裂成两个大党，每个党都在其领导人的领导下，相互对立地制定措施。

There is nothing which I dread so much as a division of the republic into two great parties, each arranged under its leader, and concerting measures in opposition to each other.

约翰·亚当斯

资本市场法治化的核心是保护投资者合法权益，尤其是中小投资者的权益。

刘俊海

养生之道，贵在坚持。

蔡志忠

每一个蝴蝶都是从前的一朵花的鬼魂，回来寻找它自己。

张爱玲

人之所以千差万别，均是教育之故。

约翰·洛克

没有了希望，一个人就不能维持他的信仰，保守他的精神，或保全他的内心纯洁。

巴尔扎克

从事艺术的应该是贵人，而不是平民。

米开朗基罗

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

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