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



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


# 近況報告
* Kernel/VM 探検隊に行ってきました
* 今週の金曜日に卒研中間インタビューがあります
* Similar の定義またやってきました

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