Now, some of these things can prove things that are mathematically way over my head.

如今,这些程序都可以证明一些,令我头大的数学题了

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

3 So here what I'm doing is 17 divided by 13, but because of this parenthetical, , -- because of that parenthetical -- that has nothing to do with math; -- this is a programming language thing -- that is a casting operation.

所以这里我要做的是用17除以，但因为这样的题外话，因为那样的题外话-,还是没有做完这个数学题;,这是一个编程语言的东西-,那是一个计算操作。

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