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