●平成１０年９月３日（木）（11:00〜12:00） 会場：Ｌ１講義室
                                      進行係：菅 幹生

番号          発表者            論文審査委員

9751036       川崎 由起子       湊 小太郎、横矢 直和、千原 國宏、砂原 秀樹
              電子図書館における動画像検索及び閲覧機能の実現と評価

9751202       松田 辰己         湊 小太郎、横矢 直和、千原 國宏、砂原 秀樹
              Mobile IP におけるセキュリティ機能に関する研究


●平成１０年９月３日（木）（13:30〜15:00） 会場：Ｌ１講義室
                                      進行係：高木一義

番号          発表者            論文審査委員

9651205       HEITOR MIKAMI    植村 俊亮、渡邉 勝正、吉川 正俊
              Design and Implementation of a Video Database 
              Prototype-Heijo II
              （映像データベースプロトタイプHeijo II の設計と実装）

9751077       中村 一博         渡邉 勝正、藤原 秀雄、木村 晋二
              Multi-Cycle Path Analysis for Timing Verification of 
              Sequential Logic Circuits
              （順序回路のタイミング検証のためのマルチサイクルパスの解析）

9651206       ROTTER DROR      渡邉 勝正、藤原 秀雄、木村 晋二
              Manipulation Methods of Large Logic Circuits for 
              Hardware Verification
              （ハードウェア検証のための大規模論理回路の処理手法）