"I'm a perfectionist, I admit it. I'm always trying to improve."
数学是为不同事物赋予相同名称的艺术。
人生は、選択の連続である。その一つ一つが、未来を形作る。
Liberty cannot be preserved without a general knowledge among the people.
China Gold should become a world-class mining company.
用心体会整理才能理解精确得当,所以应当沉着稳重,不然就成了口头耳边的小事,过后就忘了。事理要以典故为依据,因此必须学识广博,否则就成了随意推测,胡编乱造。
艺术家必须是无限的孩子。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."