真正的领导力意味着为了更美好的明天而在今天做出艰难的决定。

The study of computational complexity is not just about solving problems, but also about understanding the limits of what can be computed.

发愤研究学问，常常忘记吃饭，一旦有所收获便又高兴地忘记了忧愁，连自己的渐趋衰老也没有感觉到。