最虚度的日子,是那些没有欢笑的日子。
La plus perdue de toutes les journées est celle où l'on n'a pas ri.
科技创新是解决煤炭行业问题的根本途径。
A good mathematician is lazy, but in a constructive way.
我们说的每一个词都承载着我们的历史和未来的希望。
To be happy is only to have freed one's soul from the unrest of unhappiness.
Recursion is the root of computation since it trades description for time.