And it becomes a powerful way of reasoning about the code, a powerful way of using the code, so those notions of specs are really important.

以保证你写对代码,这将成为分析代码,使用代码的重要手段,所以规范说明的概念。

麻省理工公开课 - 计算机科学及编程导论课程节选

We'll basically be sitting here thinking about what we can know or make sense of with regard to death using our reasoning capacity.

我们主要是坐在这里思考,关于我们能知道什么或者搞清,关于死亡用我们的推理能力。

耶鲁公开课 - 死亡课程节选