只有当我们忘记死者时，他们才对我们死去。
任务不在于看到别人未曾看到的东西，而在于思考别人未曾思考过的东西，关于那些每个人都看到的事物。
模型检查是验证硬件和软件系统正确性的强大工具。
The secret of joy in work is contained in one word - excellence. To know how to do something well is to enjoy it.
Curiosity is the driving force behind all scientific discoveries.
可持续性不是一种选择，而是农业前进的唯一道路。