Mercurial > hg > Members > atton > seminar_slides
changeset 91:9de470640136
Add slide for seminar
| author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 20 Jan 2015 16:45:09 +0900 |
| parents | 2ff557390ef8 |
| children | 545c3b91479e |
| files | slides/20150120/slide.md |
| diffstat | 1 files changed, 30 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slides/20150120/slide.md Tue Jan 20 16:45:09 2015 +0900 @@ -0,0 +1,30 @@ +title: Categorical Formalization of Program Modification +author: Yasutaka Higa +profile: +lang: Japanese + + +# 研究目的 (Categorical Formalization) +* プログラムの信頼性を向上させるために開発手法に着目する +* プログラムの信頼性が変化するのはプログラムを変更した時である +* 信頼性を保ちながらプログラムを変更にプログラムの変更を形式化する +* Monad によってプログラムの変更を記述する + +# 研究目的 (Parallel Debugger) +* 本研究では Monad を用いてプログラムの変更を定義する +* Monad とは meta computation とデータ構造を対応付ける手法である +* プログラムの変更は変更前の動作を保存しつつ変更後の動作を追加することで表現する +* 異なるバージョンのプログラムを同時に実行し、トレースを比較することでデバッグを支援する手法を提案する + +# 近況報告 +* ウィンターワークショップ連絡きてます + * なにかはっぴょうするんですかね……? +* DeltaM の Agda ってます + +# DeltaM の Agda な話 +* Record で Functor, NaturalTransformation, Monad +* DeltaM の Functor 書けました +* DeltaM の Monad で今のへーってしてます +* Monad の constraints をどう書くか…… + +<!-- vim: set filetype=markdown.slide: -->