一個(gè)人不僅可以通過(guò)他的行為對(duì)他人造成傷害，也可以通過(guò)他的不作為對(duì)他人造成傷害，無(wú)論哪種情況，他都應(yīng)對(duì)他們負(fù)有道義責(zé)任。
"Writing is a way of thinking, a way of understanding the world."
科學(xué)不過(guò)是常識(shí)的極致——觀察上嚴(yán)格精確，邏輯上對(duì)謬誤毫不留情。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."