符合化と検索