Your voice can change the world.
I’m not afraid of failure. I’m afraid of not trying.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
未来は、自分で切り開くものだ。