我能做的就是做我自己,不管那是谁。
"The task of the poet is to give voice to what is otherwise unspeakable."
我坚信这个理论:你付出多少就会得到多少。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。