Without some goals and some efforts to reach them, no man can live. What we call life is a journey, and the journey itself is home.
生命的最高表现在于:一个存在物管理自己的行为。总是受他人指导的事物在某种程度上是死物。
Sustainability isn't an option—it's a responsibility we owe to future generations.
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。