Mercurial > hg > Members > atton > generated_seminar_slides
changeset 50:6198657f50f5
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 | 2c23945abbb4 |
| files | slides/20141028/slide.html slides/20141028/slide.md |
| diffstat | 2 files changed, 13 insertions(+), 5 deletions(-) [+] |
line wrap: on
line diff
--- a/slides/20141028/slide.html Tue Oct 28 10:57:47 2014 +0900 +++ b/slides/20141028/slide.html Tue Oct 28 17:29:38 2014 +0900 @@ -43,7 +43,7 @@ <!-- === begin markdown block === generated by markdown 1.1.1 on Ruby 2.1.4 (2014-10-27) [x86_64-darwin13.0] - on 2014-10-28 10:57:45 +0900 with Markdown engine kramdown (1.4.2) + on 2014-10-28 17:29:37 +0900 with Markdown engine kramdown (1.4.2) using options {} --> @@ -93,8 +93,11 @@ <!-- _S9SLIDE_ --> <ul> - <li><a href="http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/texts/">ここ</a>にあります</li> - <li>hg/Members/atton/texts/</li> + <li><a href="http://www.cr.ie.u-ryukyu.ac.jp/hg/Users/one/hg/Papers/2014/atton-midterm">ここ</a>にあります</li> + <li>hg/Papers/2014/atton-midterm</li> + <li>最初は hg/atton/texts とかに置いてました</li> + <li>完全にプログラム側からの視点だけで書いてます</li> + <li>Category は今後の課題風味になっております</li> </ul> @@ -111,6 +114,7 @@ <ul> <li>関数合成を一旦分解したらいけました</li> + <li>名前を Diff にしました</li> </ul> <!-- vim: set filetype=markdown.slide: -->
--- a/slides/20141028/slide.md Tue Oct 28 10:57:47 2014 +0900 +++ b/slides/20141028/slide.md Tue Oct 28 17:29:38 2014 +0900 @@ -21,10 +21,14 @@ * そのページだけを消しました # 中間発表の予稿 -* [ここ](http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/texts/)にあります -* hg/Members/atton/texts/ +* [ここ](http://www.cr.ie.u-ryukyu.ac.jp/hg/Users/one/hg/Papers/2014/atton-midterm)にあります +* hg/Papers/2014/atton-midterm +* 最初は hg/atton/texts とかに置いてました +* 完全にプログラム側からの視点だけで書いてます +* Category は今後の課題風味になっております # Proof Monad-laws in Agda * 関数合成を一旦分解したらいけました +* 名前を Diff にしました <!-- vim: set filetype=markdown.slide: -->