SSR自己適応システム 第10回ミーティング 議事録

日時：2015年3月23日（月） 13:30~16:00
場所：電気通信大学 西10号館 2階中会議室
参加者（敬称略）：神奈川工科大 一色、田中、松本、岩田、東京情報大 永井、大阪府立大 佐賀、日本工業大 粂野、大阪大 中川、NII 鄭、NEC 竹之内、早稲田大 相澤、電通大 大須賀、清、堀田、田原（記）

議題：
1. 基調講演（一色教授）

一色教授は、本プロジェクトの重要な応用分野の1つである、スマートハウスの
分野で世界の第一線で活躍されているので、本分野の最新動向について講演い
ただき、その後参加者との間で議論を行った。

2. 講演（田原）

本プロジェクトの成果の1つとして、田原が進めている研究テーマである、「動
的に変更されるシステムの形式検証」の現状について講演され、その後参加者
との間で議論を行った。

3. プロジェクトのまとめ（田原）

田原は、本プロジェクトのまとめとして、これまでの進捗と調査結果について
報告した。

以上