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: -->