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

diff -r 721f7956e3b9 -r 97a24012dcc2 slides/20160712/slide.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20160712/slide.md	Tue Jul 12 19:08:09 2016 +0900
@@ -0,0 +1,25 @@
+title: Verification method of programs using Continuation based C
+author: Yasutaka Higa
+profile:
+lang: Japanese
+
+
+# 研究目的
+* プログラムの信頼性を向上させたい
+* 特に動作するプログラムが仕様を満たすか確認する
+* そのために検証しやすい単位でプログラムを構成する
+* コードセグメントとデータセグメントという単位を用いてプログラムを記述する手法を提案する
+
+# 研究内容
+* コードセグメントとデータセグメントを用いたプログラムに対し、検証を行なう
+* コードセグメントどうしの接続の間にメタ計算として検証機構を導入する
+* コードを検証用に変更することなく、仕様を満たすか検証する
+* 検証の対象として Gears OS のデータ構造を用いる
+
+# 近況報告
+* IPSJ-PRO 論文提出しました
+* ちょっと引用とかで指摘があったので修正しました
+* [日程](https://sigpro.ipsj.or.jp/pro2016-2/)出たようです
+
+
+<!-- vim: set filetype=markdown.slide: -->