#author("2019-03-28T03:39:58+00:00","default:admin","admin")
[[Activity]]
* グルノーブル大学 University of Grenoble Aples (UGA) を訪問しました (中村) [#ace2e514]
(2019-03-28 報告者：中村)
2019年3月20日～25日の日程で，フランス・グルノーブルにあるUniversity of Grenoble Alpes (UGA) を訪問しました．
UGAとシステム情報学研究科とは，昨年，大学間協定を締結しました．
その中で，共同研究や学生の交換留学に関する制度が整いつつあります．
今回の訪問の目的は，UGAのLydie du Bousquet 先生との共同研究と，
5月から神戸大に3か月間インターンとして来日する4名の学生の面談を行う
ことでした．
Lydie先生との研究では，機械学習を載せたソフトウェアシステムを
どのように設計，テストするかという問題について，議論をしました．
AIシステム，特に機械学習が組み込まれたシステムは，データや
環境に応じて振る舞いが適応的に変化します．そのため，システムを
実装する前に仕様を定義することが極めて困難であり，従来の
ソフトウェア工学のアプローチが通用しません．今回は，こうした現状の
把握と整理，スマートホームにおける空調サービスを例題とした
ケーススタディについて考察しました．
また，大学でのセミナーを依頼され，1時間ほど講演してきました．
発表内容は以下のタイトルです．
- Improving Health and Quality of Life in One-Person Households Using
IoT and Machine Learning''
この春，Dを卒業した鈕龍君の最新の成果をかいつまんで，1時間ほど
話してきました．教員，学生合わせて20名ほど聞きに来てくれました．
また，インターンで受け入れる学生4名との面談も行いました．
4人ともLydie先生の受け持ちの学生で，ソフトウェアの検証・テスト
に興味があるのですが，今回「機械学習ベースのソフトウェア・システム
の形式的検証」という研究題目で，プロジェクトを実施する計画です．
他にもサイバーセキュリティに興味があるということでした．
性格はみな明るく，英語もコミュニケーションに不自由ありませんでした．
目下UGAのコースで日本語を勉強中だそうです．
&attachref();
&attachref();
&attachref();
&attachref();
&attachref();
&attachref();
&attachref();
![[PukiWiki]](image/cs27logo5.png "[PukiWiki]")
