大規模データベースのパターン検索技術