Java でコレクションのマッピング（map）・フィルタリング（filter）・畳み込み（foldLeft）のような処理を使いたいケースがありますが、今のところ標準で用意されていません。そこで、以下のようなライブラリを使って試してみました。 Functional Java 3.1 …