Mercurial > hg > Members > atton > seminar_slides

annotate template/slide.md @ 87:27f7f51b135e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update template
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 16 Dec 2014 12:30:12 +0900
parents ff6851818210
children b9664a92428d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
87
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
1 title: Categorical Formalization of Program Modification
9
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
2 author: Yasutaka Higa
87
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
3 profile:
9
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
4 lang: Japanese
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
5
37
c7d57cf16fdb Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 34
diff changeset
6
87
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
7 # 研究目的 (Categorical Formalization)
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
8 * プログラムの信頼性を向上させるために開発手法に着目する
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
9 * プログラムの信頼性が変化するのはプログラムを変更した時である
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
10 * 信頼性を保ちながらプログラムを変更にプログラムの変更を形式化する
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
11 * Kleisli Category の Kleisli Triple と対応のある Monad によってプログラムの変更を記述する
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
12
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
13 # 研究目的 (Parallel Debugger)
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
14 * 本研究では Monad を用いてプログラムの変更を定義する
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
15 * Monad とは meta computation とデータ構造を対応付ける手法である
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
16 * プログラムの変更は変更前の動作を保存しつつ変更後の動作を追加することで表現する
27f7f51b135e Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 76
diff changeset
17 * 異なるバージョンのプログラムを同時に実行し、トレースを比較することでデバッグを支援する手法を提案する
28
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
18
7
e0c4a349c94f Copy template when generate new slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 # hoge
28
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
20 * hoge
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
21 * hogehoge
9
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
22
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
23 # fuga
28
4d583de693b3 Update template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 9
diff changeset
24 * fuga
9
8cd28e3368fd Use shower template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 7
diff changeset
25 * fugafuga
32
cc91543302b3 Set filetype on slide template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
26
cc91543302b3 Set filetype on slide template
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 28
diff changeset
27 <!-- vim: set filetype=markdown.slide: -->