我希望不久之后我们就能有一台能够解决所有数学问题的机器。
The essence of computational thinking is abstraction and automation.
君子给人的印象有三种变化:远看庄重威严,接触则温和可亲,听讲话则严肃不苟。