オフラインアルゴリズムからオンラインアルゴリズムを自動生成する

オフラインアルゴリズムからオンラインアルゴリズムを自動的に合成する新しい手法を提案する。この手法は、関係関数シグネチャ(RFS)の概念に基づいており、オフラインアルゴリズムからオンラインアルゴリズムを導出することができる。