程序具有形成习惯的力量