型定義に敗北