型判定を補助する