研究室配属に関する情報
(1) 研究テーマ
当研究室は，マルチエージェントシステムや分散システムをテーマとして扱っています．また，さまざまなシステムを対象とした形式手法による仕様記述・検証法についても研究しています．詳しい内容については，こちらの研究紹介のページをご覧ください．
(2) 必要な知識，研究室で学べること
当研究室に入るための前提知識は特にありませんが，授業もしくは自習によって以下のいずれか（もちろん全部でなくて結構です）に関する知識を持っていることが望ましいです．
- マルチエージェントシステム
- 数理論理学
- ゲーム理論
- 形式手法（定理証明やモデル検査）
- 分散アルゴリズム
- 強化学習
- システムソフトウェアのプログラミング
上記の分野について「詳しいことは分からないけれど興味はある」という人でも，輪購などで基礎から勉強しますので，心配しなくても大丈夫です（^_^）
(3) どのような人にオススメ？
以下のいずれかに当てはまる人にピッタリです！
- 論理学やゲーム理論（経済学）が，どのようにコンピュータサイエンスに応用できるのかを知りたい人
- システムソフトウェアのプログラミングに興味のある人
- アルゴリズムを考えるのが好きな人
(4) 研究室での活動
研究室では，主に以下のことを行います．
- 週に1回のゼミと輪講
- 週に1回の個別指導（教員と学生の一対一のディスカッション）
- 国内学会や国際会議での発表（特に大学院に進学する人は，修了までに査読付きの国際会議での発表を目指します．）
その他，飲み会や合宿など，自由に企画して下さい（皆さんが主役です！）
また，当研究室はオペレーティングシステムとシステムソフトウェア研究室とコラボしています．合同のゼミなどを通じて，専門を異にする人たちとの研究交流を行うこともできます．
(5) 2018年度配属に関する研究室説明会の日程
すべて終了しました．