"The challenge in theoretical computer science is not just to solve problems, but to understand why they are hard to solve."
理论计算机科学中的挑战不仅仅是解决问题,而是理解为什么它们难以解决。
每一条法律规则的存在都归因于一个目的,一个实际的目标。
世间万物,没有孤立存在的,必然有其对立面。