现代采石要求我们同时成为地质学家、生态学家和社区外交官。
The study of formal languages and automata is essential for understanding the theoretical underpinnings of computer science.
技术应该解决实际问题,而不仅仅是创造新玩具。