类型:因程