Mercurial > hg > Members > atton > seminar_slides

annotate slides/20140812/slide.md @ 62:af2d176a4f2c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update slide
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 12 Aug 2014 17:56:16 +0900
parents b4bf52190b5a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
60
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 title: プログラムのデバッグ支援(仮)
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 author: Yasutaka Higa
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 cover:
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 lang: Japanese
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 # 研究目的(仮)
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 * プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 * 挙動は予想されていた挙動と異なる場合があり、それはバグとなる
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 * ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 * 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 # 近況報告
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 * Parallel debugger sample session
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 * テコ入れ下さい
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 * ソフトウェア工学の質問とか答えてたりしました
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 * Notions of computation and monads
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 # ソフトウェア工学
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 * 数日前から質問来てました(締切前?)
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 * Functor の eta の記述がおかしい気がします
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 * T -> 1 になってる
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 * eta は 1 -> T な気がします
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 * [ここ](http://www.ie.u-ryukyu.ac.jp/%7Ekono/lecture/software/s05/lecture.html)の etaT のところ
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 # Notions of computation and monads
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 * proving Equivalence of programs
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 * beta-eta conversion wipes out
61
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
32 * non-termination, non-determinisim, side-effects
60
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 * follows monads
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 * Categorical Semantics of computations based on monads
61
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
35 * T is notion of computation
60
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 # Many Sorted Monadic Equational Language ?
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 * Kleisli triples との対応
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 * (T, eta, mu) と (T, eta, _ * )
61
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
40 * このあたりはソフトウェア工学でやったところなのでどうにか
60
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 * Many Sorted Monadic Equational Launguage くらいから謎
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 * page6-7 とか
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 * 確実に引数を1つ持つ関数どうしの Equation?
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44
62
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
45 # Notions of computation and monads : ながれ
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
46 * あとは流し読み
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
47 * Many sorted Monadic Equational Language -> The Simple metalanguage
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
48 * (let とか。) 1Monad を複数回適用可能?
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
49 * A Simple Programming Language
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
50 * existential とかが導入されるらしいですが……
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
51
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
52 # Notions of computation and monads : ながれ
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
53 * Extending the simple metalanguage
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
54 * Strong Monad (A x T B) -> T A B
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
55 * Interpretation and formal system
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
56 * Strong monads over a topos
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
57 * location, if とかが が入る
af2d176a4f2c Update slide
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 61
diff changeset
58
61
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
59 # Monad for CbC?
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
60 * Monad は codomain が 2つある
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
61 * A と T A
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
62 * なので A と T A 間での identitiy はきちんと取る必要がありそう
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
63 * f : A -> T B
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
64 * f x の場合は x : A
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
65 * f =<< x の場合は x : T A
b4bf52190b5a Update slides
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents: 60
diff changeset
66
60
cfb00e108b97 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 <!-- vim: set filetype=markdown.slide: -->