検索の高速化

AND、OR、NOT を組み合わせた検索を含め、大きなアウトラインでの検索が大幅に高速になりました。