So this is a nice little search-- sorry, a nice little sort algorithm . And in fact, it's relying on something that we're going to come back to, called the loop invariant.

恩，这是一个很棒的小搜索，抱歉，和很棒的小排序算法，事实上，它依赖于一些我们要回顾的东西,被称作循环不变量。

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

So we'll loop back to this in just a moment, but start by going back earlier in history.

我们稍后会回来继续讨论,先让我们回到早些时候

耶鲁公开课 - 关于食物的心理学、生物学和政治学课程节选