# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1429014491 -32400
# Node ID 304231aad560fc7a5ea7a2cdbdc4253ce9e0e38c
# Parent  c5360af0976d91d83a99da3d8402b257e8a31c2b
Add writing slides ...

diff -r c5360af0976d -r 304231aad560 slides/20150414/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20150414/slide.md	Tue Apr 14 21:28:11 2015 +0900
@@ -0,0 +1,20 @@
+title: Operational Semantics of Continuation based C
+author: Yasutaka Higa
+profile:
+lang: Japanese
+
+
+# 研究目的
+* 並列プログラミングにおいてユーザは実行の非決定性を意識する必要がある
+* 信頼性を保ちながら並列にプログラミングできる言語 CbCを提案する
+* コードは ceg, データは deg という単位で記述する
+* プログラムは ceg どうしの接続で表現され、並列で実行される
+
+# 研究目的 (Operational Semantics?)
+* 並列で ceg が実行されても結果が変わらないことを保証する
+* プログラムの実行に相当する項書き換えのルールを示す
+* メタ計算部分を切り替え可能であることも示す
+* ceg/deg duallity?
+
+
+<!-- vim: set filetype=markdown.slide: -->