Books say: She did this because. Life says: She did this. Books are where things are explained to you; life is where things aren't.

数学和计算机科学的交叉点是一些最激动人心的发现产生的地方。

和我的团队一起赢得奖杯是世界上最好的感觉。

The end of law is not to abolish or restrain, but to preserve and enlarge freedom.

λ演算是一种表示函数及其应用的形式体系。