有人问我什么是幸福，我回答说：不奢求非必需之物。

The key to a successful database system is its ability to evolve with the changing needs of its users.

λ演算本质上是一个关于函数及其应用的理论。

The development of computational complexity theory has shown us that not all problems are created equal.

技术没有国界，但企业有责任。