So I've got a function to maximize and a constraint that must be obeyed.

一个需要得到最大值的函数,和一个需要遵守的约束条件。

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

In some sense, strictly speaking they shouldn't be necessary because the fact that my specification starts with an assumption, says, hey you, who might call square root make sure that the things you call me with obey the assumption.

在某种意义上严格的来讲,它们不是必要的,因为我已经对假设做了声明,也就是说，如果你要调用我的，求平方根的函数,请确保你传递给我的,参数满足假设条件。

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