The art of doing mathematics consists in finding that special case which contains all the germs of generality.

You can't manage what you don't measure.

λ演算本质上是一种纯粹抽象的函数理论。

我希望被人们记住为一个充满热情的艺术家。

自然界的法则是智慧的根本。

能源行业不仅仅是石油和天然气，更是推动人类进步的动力。