Mercurial > hg > Members > atton > seminar_slides
changeset 78:5701764d423e
Add slide for seminar
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 11 Nov 2014 18:03:27 +0900 |
| parents | c638b0792a4a |
| children | 5943122e7e28 |
| files | slides/20141111/slide.md |
| diffstat | 1 files changed, 43 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slides/20141111/slide.md Tue Nov 11 18:03:27 2014 +0900 @@ -0,0 +1,43 @@ +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: -->