Mercurial > hg > Members > atton > generated_seminar_slides

comparison slides/20141028/slide.md @ 50:6198657f50f5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
auto-Update generated slides by script
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 28 Oct 2014 17:29:38 +0900
parents be4bda2c5e58
children
comparison
equal deleted inserted replaced
49:be4bda2c5e58 50:6198657f50f5
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: -->