>>38
型推論(型再構築)で終わりやん