计算机科学最伟大的单一成就是算法概念的发展。
需求对象的残缺不全，正是幸福的必不可少的条件之一。
Girl talk is the best therapy
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.
