Mercurial > hg > Members > atton > seminar_slides
comparison slides/20140812/slide.md @ 60:cfb00e108b97
Add slide for seminar
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 12 Aug 2014 16:49:18 +0900 |
parents | |
children | b4bf52190b5a |
comparison
equal
deleted
inserted
replaced
59:54e77808fef1 | 60:cfb00e108b97 |
---|---|
1 title: プログラムのデバッグ支援(仮) | |
2 author: Yasutaka Higa | |
3 cover: | |
4 lang: Japanese | |
5 | |
6 | |
7 | |
8 # 研究目的(仮) | |
9 * プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる | |
10 * 挙動は予想されていた挙動と異なる場合があり、それはバグとなる | |
11 * ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか | |
12 * 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する | |
13 | |
14 | |
15 # 近況報告 | |
16 * Parallel debugger sample session | |
17 * テコ入れ下さい | |
18 * ソフトウェア工学の質問とか答えてたりしました | |
19 * Notions of computation and monads | |
20 | |
21 | |
22 # ソフトウェア工学 | |
23 * 数日前から質問来てました(締切前?) | |
24 * Functor の eta の記述がおかしい気がします | |
25 * T -> 1 になってる | |
26 * eta は 1 -> T な気がします | |
27 * [ここ](http://www.ie.u-ryukyu.ac.jp/%7Ekono/lecture/software/s05/lecture.html)の etaT のところ | |
28 | |
29 # Notions of computation and monads | |
30 * proving Equivalence of programs | |
31 * beta-eta conversion wipes out | |
32 * non-termination | |
33 * non-determinisim | |
34 * side-efects | |
35 * follows monads | |
36 * Categorical Semantics of computations based on monads | |
37 | |
38 # Many Sorted Monadic Equational Language ? | |
39 * Kleisli triples との対応 | |
40 * (T, eta, mu) と (T, eta, _ * ) | |
41 * このあたりはソフトウェア工学でやった | |
42 * Many Sorted Monadic Equational Launguage くらいから謎 | |
43 * page6-7 とか | |
44 * 確実に引数を1つ持つ関数どうしの Equation? | |
45 | |
46 <!-- vim: set filetype=markdown.slide: --> |