1 0 0 0 スマートスペースにおける最小コストでのコンテキスト遷移を可能にするデバイス操作系列導出ツールの提案