?尋求靈魂最安寧的狀態(tài)。
形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)行為的絕對保證。
我認(rèn)識一個演員，是個弱智，超過十的數(shù)都不認(rèn)識，但是當(dāng)他一上舞臺上表演，觀眾們山呼海嘯，房頂都要給掀翻了。
Silence in a picture book can be louder than words.
The greatest thing about tomorrow is, I will be better than I am today.
最深刻的真理往往是我們認(rèn)為理所當(dāng)然的那些。