做出伟大工作的唯一途径就是热爱你所做的事情。
The only way to do great work is to love what you do.
"A book is a dream that you hold in your hand."
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
一人独处应谨慎自己的行为，预知每一心思所含的意念，严肃威仪安于天命，敬人伦以成圣贤，谨慎各种行为以成就德引，改过向善以成贤良。