Mercurial > hg > Members > atton > seminar_slides
comparison slides/20141028/slide.md @ 75:36da64ee66cf
Update slide
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 28 Oct 2014 17:29:36 +0900 |
parents | b35785b554a1 |
children |
comparison
equal
deleted
inserted
replaced
74:b35785b554a1 | 75:36da64ee66cf |
---|---|
19 * Game 班の Wiki にスパムが来ていると指摘がありました | 19 * Game 班の Wiki にスパムが来ていると指摘がありました |
20 * 雑談板 | 20 * 雑談板 |
21 * そのページだけを消しました | 21 * そのページだけを消しました |
22 | 22 |
23 # 中間発表の予稿 | 23 # 中間発表の予稿 |
24 * [ここ](http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/texts/)にあります | 24 * [ここ](http://www.cr.ie.u-ryukyu.ac.jp/hg/Users/one/hg/Papers/2014/atton-midterm)にあります |
25 * hg/Members/atton/texts/ | 25 * hg/Papers/2014/atton-midterm |
26 * 最初は hg/atton/texts とかに置いてました | |
27 * 完全にプログラム側からの視点だけで書いてます | |
28 * Category は今後の課題風味になっております | |
26 | 29 |
27 # Proof Monad-laws in Agda | 30 # Proof Monad-laws in Agda |
28 * 関数合成を一旦分解したらいけました | 31 * 関数合成を一旦分解したらいけました |
32 * 名前を Diff にしました | |
29 | 33 |
30 <!-- vim: set filetype=markdown.slide: --> | 34 <!-- vim: set filetype=markdown.slide: --> |