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