型推論だよ