講義ノート

講義ノート

講義テキスト

講義テキスト

講義スライド - SGU動画共有

講義スライド - SGU動画共有

講義スライド

講義スライド

講義スライド

講義スライド

講義のガイダンス(PPTファイル) - 形式化数学研究室(宮島研)

講義のガイダンス(PPTファイル) - 形式化数学研究室(宮島研)

講義4：デジタル画像の再構成

講義4：デジタル画像の再構成

講演録（PDFデータ） - Iwate

講演録（PDFデータ） - Iwate

講演録（308KB）

講演録（308KB）

講演資料（PDF: 184KB） - JaSSTソフトウェアテストシンポジウム

講演資料（PDF: 184KB） - JaSSTソフトウェアテストシンポジウム

講演資料ダウンロード （PDF：4.74MB）

講演資料ダウンロード （PDF：4.74MB）

講演資料②

講演資料②

講演資料 - SSIプロジェクト

講演資料 - SSIプロジェクト

講演資料 - IRCME

講演資料 - IRCME

講演資料 - eduroam JP

講演資料 - eduroam JP

講演資料 (PDF ： 2892KB) - JaSSTソフトウェアテストシンポジウム

講演資料 (PDF ： 2892KB) - JaSSTソフトウェアテストシンポジウム

講演資料

講演資料

講演資料

講演資料

講演資料

講演資料

講演記録（PDF.204KB

講演記録（PDF.204KB

講演記録 1981～2004

講演記録 1981～2004