ソートに続いて、今度はFilterで遊んでみました。Filterってなんだ？という話ですが、IndexSearcher#searchメソッドの引数にQueryと一緒に渡して、検索結果を絞り込んだり、結果をキャッシュして高速化させたりするというのが主な使い方みたいです。Queryと…