2023-01-28 Stream toList() Java Java16 から、Stream に、toList() ってできるようになってたんだ。Stream から、collect(Collectors.toList()); と書いていたのが、スッキリ toList() と書ける。