They actually can be used in a court of law as a stage toward arriving at a verdict.

这些词在法庭上,指审判前的一个程序。

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

Probably I shouldn't have said it's a two-step process 'cause it's a three-step process to actually write and run it, and the third step is just going to be to run it.

也许我不应该说它是个两步完成的程序,准确来讲，应该是三步，前两步--写，第三步--运行。

哈佛公开课 - 计算机科学课程节选

That ended some years ago when the best programs began to beat grand masters.

但是那种局面在几年前,以象棋程序击败象棋大师而告终

耶鲁公开课 - 死亡课程节选

And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.

而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的

耶鲁公开课 - 死亡课程节选