ラムダ式のパラメーターの型、レシーバーの型、および戻り値の型を明示的に指定します。