Mercurial > hg > Members > atton > seminar_slides

annotate slides/20141007/slide.md @ 72:916d62123b1c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update slide note
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 07 Oct 2014 18:10:29 +0900
parents 243328f8f857
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
71
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 title: プログラムのデバッグ支援
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 author: Yasutaka Higa
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 cover:
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 lang: Japanese
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 # 研究目的
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 * プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 * しかしリファクタリングにおいてはソースコードを変更した後も同じ結果を得たい
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 * ソースコードの改変をモナドとして記述し、実行結果の変化を自動的に検出したい
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 * これによりリファクタリング支援や後方互換性の支援などを行なう
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 # 近況報告
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 * Agda で証明始めました
72
916d62123b1c Update slide note
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
15 * 卒研は英語で発表しようと思っています
916d62123b1c Update slide note
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 71
diff changeset
16 * 11月中旬くらいまでに目処を付けたいです
71
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 # Similar in Agda
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 * Similar の定義だけ
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 * あとは String と List を使いそうなのでそれも
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 * 今のところ (Similar (Similar (Similar A))) のパターン分けが大変そうかな、といったところ(たぶん全部書かないといけない……?)
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 * mu . fmap mu = mu . mu : TTT -> TT
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 # Naming of Similar
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 * ネーミングの話
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 * これってどこが 'Similar' なの
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 * 分岐するので Divergence Monad とかかなー、と考え中
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
243328f8f857 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 <!-- vim: set filetype=markdown.slide: -->