京都大学数理解析研究所 コンピュータサイエンス室
RIMS Computer Science Laboratory
概要
2005年4月、工学部7号館に、 数理解析研究所の計算機科学研究グループのオフィスを開設しました。 明るく広々としたスペースに、数台のPCより構成されたネットワーク環境を備え、大学院理学研究科 数学・数理解析専攻のコンピュータサイエンス関連の教員と大学院生の研究・教育活動に使用しています。
- 2008年6月9日に、総合研究4号館306号室に移転しました。「人文科学研究所」と大きく書いてある建物です.
- 2010年4月1日に、総合研究2号館477号室に移転しました。
Lab Lunch
毎週火曜日の12:20〜13:30に、教員と大学院生を中心に、インフォーマルな昼食会を行なっています。お客様も歓迎です。
Logic and Semantics Seminar
木曜日の午前中に、論理や意味論に関するインフォーマルなセミナーを行なっています。お客様も歓迎です。 [詳細]
アクセス
総合研究2号館,4階477号室. 地図
謝辞
開設にあたり、オムロン株式会社より、2005年3月に解散したKABA - 特にSOBAプロジェクト (2005年4月より株式会社SOBAプロジェクト) - で使用されていた多くの機材・物品の提供を受けました。 ご支援いただきましたオムロン・SOBA・KABA関係者の皆様に感謝いたします。
Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.