承认自己也许会弄错，就能避免争论，而且，可以使对方跟你一样宽宏大度，承认他也可能有错。

卡耐基

世界上还有很多事情，只要你把它做透了，做成专家，你就能够为自己创造成功的机会。

宁高宁

模型检查是验证硬件和软件系统正确性的强大工具。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

埃德蒙·克拉克

The only thing we have to fear is fear itself.

我们唯一需要害怕的就是害怕本身。

亨宁·曼凯尔

与人斗，不扼其亢，拊其背，未能全胜也。

班固

人世间的事都是“作”出来的，不是“愁”出来的。

老舍

世上没有什么东西能拿我们怎么样，可是，我们⾃⼰要是⽼想恢复失去的东西，⽼想着过去，就会毁我们⾃⼰。

玛格丽特·米切尔

对于不会说话的人，衣服是一种语言，随身带着的是袖珍戏剧。

张爱玲

教育学就是在与孩⼦和年轻⼈的交往中，对什么是合适的与什么是不合适的，予以积极的区分。

马克斯·范梅南

青年与老年之间的基本差别在于：前者前途无量，后者濒临死亡。

叔本华

算法设计既是一门艺术也是一门科学。

The design of algorithms is both an art and a science.

杰弗里·乌尔曼

图灵机和现代计算机之间有什么区别？这与希拉里（Hillary）登上珠穆朗玛峰（Everest）和在高峰期建立希尔顿酒店之间的过程相同。

What is the difference between a Turing machine and the modern computer? It's the same as that between Hillary's ascent of Everest and the establishment of a Hilton hotel on its peak.

艾伦·佩利

知章骑马似乘船，眼花落井水底眠。

杜甫

我唱歌也会走音，但走音也要走得理直气壮！

张学友

因此隐忍苟活，函粪土之中而不辞者，恨私心有所不尽，鄙没世而文采不表于后也。

司马迁

人类的本性就是追求幸福。

亚里士多德

都当爸了，还有爸揍你，那不就是幸福嘛。

梁晓声

The architect must be willing to learn from mistakes.

罗伯特·文丘里

心灵是一个不断进化的经验流。

The mind is a constantly evolving stream of experiences.

爱德华·铁钦纳

不管人们怎样夸耀自己的伟大行动，它们常常只是机遇的产物，而非一个伟大意向的结果。

拉罗什富科

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

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