京都大学数理解析研究所 コンピュータサイエンス室

RIMS Computer Science Laboratory

概要

2005年4月、工学部7号館に、 数理解析研究所計算機科学研究グループのオフィスを開設しました。 明るく広々としたスペースに、数台のPCより構成されたネットワーク環境を備え、大学院理学研究科 数学・数理解析専攻のコンピュータサイエンス関連の教員と大学院生の研究・教育活動に使用しています。

  • 2008年6月9日に、総合研究4号館306号室に移転しました。「人文科学研究所」と大きく書いてある建物です.
  • 2010年4月1日に、総合研究2号館477号室に移転しました。

from north west from south entrance seminar

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.