成功不是幸福的关键。幸福才是成功的关键。如果你热爱你所做的事情,你就会成功。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Innovation is the only way to break through resource constraints.
人类并非天生社会动物。
The purpose of music is to sober and quiet the mind, thus making it susceptible to divine influences.