# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1408430887 -32400
# Node ID 34f398a5f52ae611002c9b98d5aa0c440f66aa43
# Parent  af2d176a4f2ca25db6dee25b80a8c214ca2aedf0
Add slide for seminar

diff -r af2d176a4f2c -r 34f398a5f52a slides/20140819/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20140819/slide.md	Tue Aug 19 15:48:07 2014 +0900
@@ -0,0 +1,35 @@
+title: プログラムのデバッグ支援(仮)
+author: Yasutaka Higa
+cover:
+lang: Japanese
+
+
+
+# 研究目的(仮)
+
+* プログラミングにおいて、ソースコードを改変するとプログラムの挙動も変わる
+* 挙動は予想されていた挙動と異なる場合があり、それはバグとなる
+* ソースコードの改変前と改変後の挙動を比較することで、デバッグの支援になるのでは無いか
+* 異なるバージョンのプログラムを同時に実行できるデバッグ支援ツールを開発する
+
+
+# 近況報告
+* Parallel debugger はそろそろ目処付けたいです
+* Category Theory for Computing Science ちょっと読み始めました
+
+
+# readning : Category Theory for Computing Science
+* CbC と Monad との対応をどうするか
+* Monad になった場合はどういうメリットがあるのか
+* Category 自体を勉強しないとなー、と
+
+# Category Theory for Computing Science
+* Chapter 2くらいまで
+* Sets
+* Graph
+  * Function == arrow of Set -> Set
+* Category
+  *  A category is a graph with a rule for compose ...
+
+
+<!-- vim: set filetype=markdown.slide: -->