M2018SE013矢澤 拓海2次元可逆分割セルオートマトンの可逆プログラミング言語上でのクリーン可逆シミュレーション M2019SE009渡邉 将匡可逆Cコンパイラにおける算術符号を用いたメモリ使用量削減