クローズドパターン抽出を用いたインタラクティブなシーケンシャルパターンマイニングの高速化の検討