"A character in a novel has more freedom than his creator - this is the irony that sustains my writing."
小說中的人物比他的創(chuàng)造者擁有更多自由——這就是支撐我寫作的諷刺。
The most important property of a program is whether it accomplishes the intention of its user.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
關于圖形：一張圖片價值一萬個單詞-但僅用于描述圖片。幾乎沒有任何10K單詞集可以用圖片充分描述。
我相信音樂有治愈、激勵、將人們團結在一起的力量。