Mercurial > hg > Members > atton > seminar_slides
comparison slides/20141111/slide.md @ 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 | |
children |
comparison
equal
deleted
inserted
replaced
77:c638b0792a4a | 78:5701764d423e |
---|---|
1 title: Modify Program by Monad | |
2 author: Yasutaka Higa | |
3 cover: | |
4 lang: Japanese | |
5 | |
6 | |
7 # 研究目的 | |
8 * プログラムを変更することの詳細を知りたい | |
9 * 完成に近づいているか、実行結果はどう変わったか、など | |
10 * 過去のプログラムを保存しながら変更する Delta Monad を定義した | |
11 * 改変前と改変後のプログラムの実行結果から、正しく完成に近づく変更なのか判断する | |
12 * Monad の理論的背景である圏論の視点から、プログラムが完成に向かうことはどう表現できるのか探る | |
13 | |
14 # 近況報告 | |
15 * スライドのデザインちょっと変えました | |
16 * 圏論勉強会動画#3 | |
17 * Delta Monad | |
18 * Pretty Print | |
19 * Sample (Bubble sort) | |
20 | |
21 # 圏論勉強会動画#3 | |
22 * Introduction of some Categories | |
23 * 1,2,3, Product Category, Functor Category ... | |
24 * Algeblic data type | |
25 * Free Target | |
26 * Magma, SemiGroup, Monoid, ... | |
27 * 代数的位相幾何学もやろうぜって言われてたのでうわー | |
28 | |
29 # Delta Monad | |
30 * Show を自前で定義しました | |
31 * ちょっとは見易くなった? | |
32 * どうだろう | |
33 | |
34 # Sample of Delta Monad | |
35 * Bubble Sort を書きました | |
36 * 大きいのを取ってくるもの | |
37 * 改変として小さいものを取ってきて最後に反転させるもの | |
38 * fmap でやらざるを得ない | |
39 * どうせなのでfmapの時にも show するように | |
40 * まだ証明はしてないです | |
41 * 結構こんがらがる | |
42 | |
43 <!-- vim: set filetype=markdown.slide: --> |