The simplest solutions are often the most elegant.
我喜歡在壓力下比賽，我喜歡困難的情況。
形式化方法不是銀彈，但它們是追求可靠系統(tǒng)的重要工具。
沒有刻苦鉆研的精神，就不能明辨事情的道理；沒有專心致志的工作，就不會取得顯赫的成績。
端正其義而不謀求私利，闡明其道而不計較功利。