Mercurial > hg > Members > atton > seminar_slides
changeset 60:cfb00e108b97
Add slide for seminar
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 12 Aug 2014 16:49:18 +0900 (2014-08-12) |
parents | 54e77808fef1 |
children | b4bf52190b5a |
files | slides/20140812/slide.md |
diffstat | 1 files changed, 46 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slides/20140812/slide.md Tue Aug 12 16:49:18 2014 +0900 @@ -0,0 +1,46 @@ +title: プログラムのデバッグ支援(仮) +author: Yasutaka Higa +cover: +lang: Japanese + + + +# 研究目的(仮) +* プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる +* 挙動は予想されていた挙動と異なる場合があり、それはバグとなる +* ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか +* 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する + + +# 近況報告 +* Parallel debugger sample session + * テコ入れ下さい +* ソフトウェア工学の質問とか答えてたりしました +* Notions of computation and monads + + +# ソフトウェア工学 +* 数日前から質問来てました(締切前?) +* Functor の eta の記述がおかしい気がします + * T -> 1 になってる + * eta は 1 -> T な気がします +* [ここ](http://www.ie.u-ryukyu.ac.jp/%7Ekono/lecture/software/s05/lecture.html)の etaT のところ + +# Notions of computation and monads +* proving Equivalence of programs + * beta-eta conversion wipes out + * non-termination + * non-determinisim + * side-efects +* follows monads + * Categorical Semantics of computations based on monads + +# Many Sorted Monadic Equational Language ? +* Kleisli triples との対応 + * (T, eta, mu) と (T, eta, _ * ) + * このあたりはソフトウェア工学でやった +* Many Sorted Monadic Equational Launguage くらいから謎 + * page6-7 とか + * 確実に引数を1つ持つ関数どうしの Equation? + +<!-- vim: set filetype=markdown.slide: -->