創造性を涵養する学問的探求

博士論文公聴会 2006年度3月学位申請

情報科学研究科では博士の学位審査の一環として下記の要領で公聴会を開催します。

• 日時: 2007年2月18日(日) 15:00
• 場所: 法政大学小金井校舎 西館2階 W213教室

次第

Fumiko Nagoya

• Time: 15:00 - 16:00
• Title: A Specification-Based Program Review Approach with Tool Support and Evaluation through Empirical Studies (仕様書に基づくプログラム・レビューのアプローチとその支援ツール及び評価に関する研究)

Norihiro Fujii

• Time: 16:10 - 17:10
• Title: A New eLearning System Integrating A Top-down eLearning and New Virtual Remote Laboratory Environments for Logic Circuit Design (論理回路設計支援と実装実験環境を併用した遠隔学習システムの構築に関する研究)

Yuting Chen

• Time: 17:20 - 18:20
• Title: A Verification Method Combining View-Based Program Review and Testing