title: Modify Program by Monad
author: Yasutaka Higa
cover:
lang: Japanese


# 研究目的
* プログラムを変更することの詳細を知りたい
* 完成に近づいているか、実行結果はどう変わったか、など
* 過去のプログラムを保存しながら変更する Delta Monad を定義した
* 改変前と改変後のプログラムの実行結果から、正しく完成に近づく変更なのか判断する
* Monad の理論的背景である圏論の視点から、プログラムが完成に向かうことはどう表現できるのか探る

# 近況報告
* スライドのデザインちょっと変えました
* 圏論勉強会動画#3
* Delta Monad
    * Pretty Print
    * Sample (Bubble sort)

# 圏論勉強会動画#3
* Introduction of some Categories
    * 1,2,3, Product Category, Functor Category ...
* Algeblic data type
* Free Target
    * Magma, SemiGroup, Monoid, ...
* 代数的位相幾何学もやろうぜって言われてたのでうわー

# Delta Monad
* Show を自前で定義しました
* ちょっとは見易くなった?
    * どうだろう

# Sample of Delta Monad
* Bubble Sort を書きました
* 大きいのを取ってくるもの
* 改変として小さいものを取ってきて最後に反転させるもの
* fmap でやらざるを得ない
    * どうせなのでfmapの時にも show するように
    * まだ証明はしてないです
* 結構こんがらがる

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