title: プログラムのデバッグ支援
author: Yasutaka Higa
cover:
lang: Japanese



# 研究目的
* プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
* しかしリファクタリングにおいてはソースコードを変更した後も同じ結果を得たい
* ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい
* これによりリファクタリング支援や後方互換性の支援などを行なう


# hoge

* hoge
* hogehoge


# fuga

* fuga
* fugafuga

<!-- vim: set filetype=markdown.slide: -->