Life is God's novel. Let him write it.
過日子就像是上帝在寫小說，就讓他放開手去寫吧。
在每個(gè)國家，最重要的是人民的教育。
系統(tǒng)設(shè)計(jì)的未來在于將形式化方法與傳統(tǒng)工程實(shí)踐相結(jié)合。
The joy of mathematics comes from the struggle to understand.
The past is a shadow that never leaves.