Mercurial > hg > Members > atton > generated_seminar_slides

comparison slides/20141028/slide.md @ 49:be4bda2c5e58

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 10:57:47 +0900
parents
children 6198657f50f5
comparison
equal deleted inserted replaced
48:e8c0f32c7c0c 49:be4bda2c5e58
1 title: モナドによるプログラムの変更
2 author: Yasutaka Higa
3 cover:
4 lang: Japanese
5
6
7
8 # 研究目的
9 * プログラムを変更するとプログラムの実行結果も変わる
10 * しかし、バージョン互換を維持する場合など、ソースコードを変更した後も同じ結果を得たい場合もある
11 * プログラムの改変の際にモナドとして改変することで過去のプログラムの保存ながら改変する
12 * これによりリファクタリング支援や後方互換性の確保、プログラムの変更による実行結果の変化の検出などを行なう
13 * さらにプログラムの改変をモナドとして表すことで、モナドの理論的背景である圏論の視点からプログラムを改変することの意味を探る
14
15
16 # Summary
17 * Proof Monad-laws in Agda
18 * 中間発表の予稿の第一稿書きました
19 * Game 班の Wiki にスパムが来ていると指摘がありました
20 * 雑談板
21 * そのページだけを消しました
22
23 # 中間発表の予稿
24 * [ここ](http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/texts/)にあります
25 * hg/Members/atton/texts/
26
27 # Proof Monad-laws in Agda
28 * 関数合成を一旦分解したらいけました
29
30 <!-- vim: set filetype=markdown.slide: -->