型推論の導入