>>81
型推論ってなんですか?