-
> And that's the this other stuff GCC oh hi-- that you would use, the GCC oh hi-- >> Exactly.
>，那个是你用到的,其他程序-,>>完全正确。
-
On the other hand, as I said, never trust a programmer to do the right thing so we're going to check it.
另外，如我之前提到的，别相信程序员会一直保持正确,所以我们才要。
-
- So now we have three conditions -- three forks in the road -- and this program is in fact correct, at least hopefully.
现在我们有三个条件--三岔路口-,然后这个程序的确是正确的，至少我希望是。
-
It turned out that one of--there were three vaccine manufacturers, one of them was using the procedure not quite correctly, they weren't completely killing the virus when they produced their vaccine.
结果显示,疫苗的生产厂家一共有三个,其中一家的生产程序不是非常正确,他们在生产疫苗的时候,并没有完全杀死病毒
-
So the basic idea was fine, but I failed to satisfy the initial condition that the answer had to be between the lower bound and the upper bound. Right?
因此基础的思想是对的，但是程序没能满足,正确答案在给定的区间内这个条件,对不对？
-
What else might we want to see, to see if we got things working properly?
我们还希望看到什么呢，要看看我们的程序是不是正确运行的？
-
And it probably, I think we can deduce, returns the right answer here.
然后程序也可能，我认为我们可以推断，程序会返回正确的答案。
-
And those are two things that you'd like to do with every looping construct you write: you'd like to be able to assure yourself that they will always terminate, and then the second thing you'd like to do, is to assure yourself that it does give you back a reasonable answer.
就是现在我有了能去检查程序,是不是做了正确的操作的能力：,这就是你们在写每个循环程序的时候,都要注意的两个事情：,第一件事情是要确保程序可以终结，第二件你要做的事情,就是要确保程序返回了正确的答案。
-
- Now that's a slight lie-- or actually in these days of political debates, a slight misspeaking, a wonderful word-- -- it is technically correct. It is enough to allow us to write any program, but it's not enough to allow us to easily write any program.
现在还有点说谎的感觉,或者在这些强调政治辩论的日子中，可以说成是有些词不达意-,这是一个绝妙的形容词,在语义上是完全正确的，用这种语言我们可以编写任何程序,但是不能轻松地编写程序。
-
It becomes a 13 and that is consistent with the code and it also doesn't crash because now y has been assigned to the correct value.
它变成了一个13，这个和代码是一致的,程序也不会崩溃,因为现在y被赋了正确的值。
-
It's a little more readable because I'm using a Boolean value that tells me, the programmer, this is true or this is false.
它更具有可读性一点,因为我使用了一个bool值，它告诉我或程序员，这是正确的或这是错误的。
-
Not just the one where it didn't work, but also the ones where it did.
因为可能程序对一些输入可以，正确运行但对另外一些却不能。
-
We're checking the end test and incrementing, actually I was going to, I commented that out for a reason you'll see in a second, but I, normally I would keep this on, which would let me, at each step, see what it's doing. If I ran this, it would print out each step. Which is helping me make sure that it's incrementing the right way.
对不对？进行终结测试然后递增，实际上我要，因为某些你们,马上要明白的原因我把这里注释了，但是我通常会一直这么做，这样能让我看到每一步都做了什么，如果我运行这个程序，它会在每一步都,进行显示，这能帮助我让我确信程序是,在以正确的方式递增。
-
And so similarly as Gmail's priority inbox, it's gonna be pretty flawed for a lot of us at least initially because it just doesn't know the answers a priori correctly unless we teach it or program it to be better. There is also another flaw in here or multiple flaws arguably.
类似于Gmail的优先收件箱，在起初使用时对大多数人来说它是有缺陷的,因为它不知道如何正确判断优先级,除非我们事先告诉它或编写程序改良它,另外这里存在一个或多个漏洞，可以说是缺陷。
-
And in fact, now let me ask those two questions about this piece of code. First question is, for what values of integers-- we're going to assume integers-- but for what values of x does this code terminate? And the second question is, for what values of x does it give me back the right answer?
实际上，让我关于这块代码问两个问题,第一个问题是，对于什么样的整数值，我们会假设是整数,对于x的什么值程序,会最终终止？第二个问题是,对于x的什么值程序,会返回正确答案？
应用推荐