不论你怎么看待历史，历史都会在你身上留下痕迹。

"To read is to walk in someone else's shoes; to write is to leave your own footprints behind."

Each success only buys an admission ticket to a more difficult problem.

The most personal is the most universal.

λ演算本质上是一个关于函数及其应用的理论。