An idea of abstraction, that idea of specification, is exactly what we want to use inside of our functions.

抽象的概念，规格化的概念,就是我们想要运用到。

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

All right, so that notion of abstraction and we're going to come back to multiple times -- during the term-- and it's not just abstraction, -- it's the idea of a specification.

现在就试试,这就是抽象的概念,我回过来说，我们将要多次提到这个术语。

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

There's one more piece that we'd like to get out of that, and that is-- you may have been wondering, what's with the funky stuttering here of three double-quotes in a row. All right? And that is a specification.

但是你没有屏蔽这个函数的使用细节,在这里我们还想再讲一讲,那就是--你可能正在想,这里连续3个奇怪双引号,是干什么用的。

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

And notice, by the way, if I do that, and I type sqrt and open the paren, ah-ha! It shows me what the creator, in this case actually I stole this from John so what Professor Guttag put up as his specification for this piece of code.

它需要什么养的输入和其它我想传达的信息，如果我这么做了，我将会到这里打上sqrt并且加上括号，啊哈！这里告诉我这段程序的创建者,事实上这是我是从约翰那里偷来的,所以也就是Guttag教授在它的。

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