ラムダ式の明示的なパラメーター型を除去します。