实体与程序