型の深さ