2013年度 横山研究室 修士論文要旨

命令型プログラミング言語におけるプログラム可逆変換の形式化

M2012MM016 前林達也