形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)行為的絕對(duì)保證。
過(guò)去是一張地圖，顯示我們?cè)ミ^(guò)哪里。
我不是來(lái)追求完美的，我是來(lái)展現(xiàn)真實(shí)的。
有時(shí)候，你必須和你愛(ài)的人分開(kāi)，但這并不會(huì)讓你愛(ài)他們少一點(diǎn)。有時(shí)候，這會(huì)讓你更愛(ài)他們。
"Every story is a story about death, but perhaps every story is also about life."
我不會(huì)讓世界決定我的價(jià)值。