title: モナドによるプログラムの変更
author: Yasutaka Higa
cover:
lang: Japanese


# 研究目的
* プログラムを変更するとプログラムの実行結果も変わる
* しかし、バージョン互換を維持する場合など、ソースコードを変更した後も同じ結果を得たい場合もある
* プログラムの改変の際にモナドとして改変することで過去のプログラムの保存ながら改変する
* これによりリファクタリング支援や後方互換性の確保、プログラムの変更による実行結果の変化の検出などを行なう
* さらにプログラムの改変をモナドとして表すことで、モナドの理論的背景である圏論の視点からプログラムを改変することの意味を探る

# hoge
* hoge
* hogehoge

# fuga
* fuga
* fugafuga

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