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

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

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

23456789 All right, here I gave it a big number, 123456789. And again, I don't want to bore you, but you can see what's going on here with this trend.

我给出一个大数字，又一次，我并不想令你们感到枯燥，但你们可以自己看看会发生些什么,这儿有个有趣的问题。

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