系統(tǒng)設計的未來在于將形式化方法與傳統(tǒng)工程實踐相結(jié)合。
I’m not a guy that’s going to let my love for the NBA down.
數(shù)學是一項協(xié)作的努力。沒有人可以單獨完成。
寫作是踏上自我發(fā)現(xiàn)之旅，每個詞都是更接近理解自己的一步。
預測未來的最好方法就是發(fā)明它。