14.5.1 模型即程序