抽象化して探索