Every story is a kind of ghost, haunting the present.
技术在矿物开采中应该同时服务于效率和道德。
The study of formal languages and automata is essential for understanding the theoretical underpinnings of computer science.
做数学就是参与发现与猜想、直觉与灵感的过程。
没有经济复苏,就没有日本的繁荣。
A mathematician's work is never done; there are always new questions to ask and new mysteries to solve.