Well I'm relying on the contract, if you like, that the manufacturer of square root put together, which is, if I know I'm giving it two floats, which I do because I make sure they're floats, the contract, if you like, of square root says I'll give you back a float.

好吧我能靠一些类似合约来保证，如果这么说你喜欢的话,其实就是当求平方根的方法,获得了两个我已经确认了是浮点数的数后,这个类似合约的东西就会保证，返回一个浮点数。

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

He greets his former rival and enemy with these words 1 This is in Genesis 33:10-11 If you would do me this favor, accept for me this gift, for to see your face is like seeing the face of God, And you have received me favorably.

他用以下的话来迎接往昔的仇敌,这段话出现在《创世纪》10章第10到11节中1,不然，我若在你眼前蒙恩，就求你从我手里收下这礼物，因为我见了你的面，如同见了神的面，并且你接纳了我。

耶鲁公开课 - 旧约导论课程节选

I could say "this must be a great day for you" or "you must be a lot of--under a lot of stress or you must want something."

我会想“你今天一定碰到什么好事了”,或者想”你今天一定压力很大了“,或者”你一定是有事相求了“

耶鲁公开课 - 心理学导论课程节选

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.

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

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

Once you've got that, one derivative will give you the velocity, then in a crunch you can eliminate t and put it into this formula.

一旦你得到了这个,求一阶导数就能得到速度,然后你可以消去t,把它代入这个式子

耶鲁公开课 - 基础物理课程节选

That means, when I take two derivatives, I want to get a, then you should know enough calculus to know it has to be something like at^, and half comes from taking two derivatives.

也就是说,当我想求二阶导时,得到了a,你应该有足够的微积分知识,才能知道必须有类似at^的项,而这个1/2则是因为求了两次导数

耶鲁公开课 - 基础物理课程节选

You can add something else to the answer without invalidating it, and that is anything with one power of t in it, because if you take one derivative it'll survive, but if you take two derivatives, it'll get wiped out.

你可以往答案后面加上其它东西,而且不影响结果,也就是任何t的一次项,因为你求一次导数之后它还在,但如果你求两次导数,这一项就不存在了

耶鲁公开课 - 基础物理课程节选