型推論

かたすいろん