これまでの講演等の資料のうち，リクエストが合ったものなどをを置いています．ここにないものについてはお問い合わせください（論文・発表等の一覧はこちら）．
形式手法関連
形式手法（形式仕様記述・モデル検査）とは？形式手法入門
- 形式手法概論（2011年8月NPO法人トップエスイー教育センターにおけるセミナー「VDM，SPINからはじめる形式手法」の初日資料）
- 形式仕様記述入門～問題を早めに見つける～（SPI Japan 2009 講演スライド）
- モデル検査入門～ツールに振る舞いを検査させる～（CEDEC 2008 講演スライド）
形式手法に関する全般情報
VDMに関する詳細情報
- 「VDM++による形式仕様記述」Webサイト（書籍の関連情報，ツールの利用法やFAQなど）
サービスコンピューティング関連
講義資料
2012年度に更新版を置く予定です
研究紹介
- 「あなたのクラウドサービスを組み立てる ～ クラウドの今後に向けたサービスコンピューティング研究紹介 ～」（CEATEC 2010 講演スライド）