# HG changeset patch
# User Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
# Date 1469523946 -32400
# Node ID 3c31f386a0a4122e453e269ee5fc16b5a05bb8eb
# Parent  97a24012dcc299819b4115b0c285b38dc51f77da
Add slide for seminar

diff -r 97a24012dcc2 -r 3c31f386a0a4 slides/20160726/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20160726/slide.md	Tue Jul 26 18:05:46 2016 +0900
@@ -0,0 +1,32 @@
+title: Verification method of programs using Continuation based C
+author: Yasutaka Higa
+profile:
+lang: Japanese
+
+# 研究目的
+* ソフトウェアの信頼性を向上させたい
+* ソフトウェアが仕様を常に満たすことを保証することで信頼性を確保する
+* 特に動作するソフトウェアを検証したい
+* 計算を拡張するメタ計算として検証機構を導入し、ソフトウェアの記述を変更せずに検証を行なう
+
+# 研究内容
+* Code Segment と Data Segment を用いるプログラミングスタイルを提案する
+* Code Segment とは処理の単位であり、相互に接続することでプログラムを構成していく
+* メタ計算による処理の拡張は接続部分に Meta Code Segment を挟むことで実現できる
+* Continuation based C 言語で記述された赤黒木を検証していく
+
+# 近況報告
+* SWoPP 用のスライド第1弾できました
+* SWoPP の日程で事務から問い合わせが
+* slideshow-s6cr ちょっと更新しました
+
+# 事務からの問い合わせ
+* 打ち合せは何に関する打ち合せなのか? とのこと
+* 8/8 - 8/10 が学会ですが 8/7 - 8/9 になってたので修正しますとのこと
+* 東大打ち合せを含む日程表が欲しいとのこと
+
+# slideshow-s6cr
+* \` で括られた単語が `ハイライト` されるようになりました
+
+
+<!-- vim: set filetype=markdown.slide: -->