changeset 88:3d14aa2f01cd

Add slide for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 16 Dec 2014 18:22:26 +0900
parents 27f7f51b135e
children 039fac7e865c
files slides/20141216/slide.md
diffstat 1 files changed, 27 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20141216/slide.md	Tue Dec 16 18:22:26 2014 +0900
@@ -0,0 +1,27 @@
+title: Categorical Formalization of Program Modification
+author: Yasutaka Higa
+profile:
+lang: Japanese
+
+
+# 研究目的 (Categorical Formalization)
+* プログラムの信頼性を向上させるために開発手法に着目する
+* プログラムの信頼性が変化するのはプログラムを変更した時である
+* 信頼性を保ちながらプログラムを変更にプログラムの変更を形式化する
+* Kleisli Category の Kleisli Triple と対応のある Monad によってプログラムの変更を記述する
+
+# 研究目的 (Parallel Debugger)
+* 本研究では Monad を用いてプログラムの変更を定義する
+* Monad とは meta computation とデータ構造を対応付ける手法である
+* プログラムの変更は変更前の動作を保存しつつ変更後の動作を追加することで表現する
+* 異なるバージョンのプログラムを同時に実行し、トレースを比較することでデバッグを支援する手法を提案する
+
+# 近況報告
+* 卒論スライド書いてます
+
+# ちょっと思ったこと
+* Delta は function の versioning を表すもの
+* versioning された function を組み合せる時の rule としての mu と eta
+* 通常の function の合成則を満たすように delta も Monad として満たしている
+
+<!-- vim: set filetype=markdown.slide: -->