自動推導型態