物种和系统的多样性不是复杂,而是保险。
"Theoretical computer science is not just about solving problems, but about understanding the nature of computation itself."