"The challenge in theoretical computer science is not just to solve problems, but to understand why they are hard to solve."
科学是一段旅程,而不是终点。