最小の余剰データをもつ効率的プログラム可逆化に関する研究