6.2 潜无穷与编程