自由是对自我设定法则的服从。

The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.

最微小的善行也比最宏大的意图更有价值。

心的本体非常广大，如果能充分发挥我的心，就能与天相同。

We believe that cloud computing will democratize technology and make it accessible to everyone.

孔子说：“君子通晓道义，小人通晓私利。”

生命太短暂，不要浪费时间恨任何人。