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