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


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

# 近況報告
* Agda で証明始めました

# Similar in Agda
* Similar の定義だけ
* あとは String と List を使いそうなのでそれも
* 今のところ (Similar (Similar (Similar A))) のパターン分けが大変そうかな、といったところ(たぶん全部書かないといけない……?)
* mu . fmap mu = mu . mu : TTT -> TT

# Naming of Similar
* ネーミングの話
* これってどこが 'Similar' なの
* 分岐するので Divergence Monad とかかなー、と考え中

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