冬天已经到来,春天还会远吗?
如果我们从一开始就能预见,甚至证明,遵循某种方法我们将达到我们的目标,那么这种解决方法就是完美的。
"In computer science, we are always trying to find the balance between expressiveness and tractability."
成功不是终点,失败也不是致命的:重要的是继续前进的勇气。
我们都是自然的实验品。