program的发展史与两个数学方法