ラムダ関数はresult_typeを定義してくれてたら完璧なんだけど