Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
RIMS Computer Science Lab [ Kyoto Univ. | RIMS | Computer Science ]

京都大学数理解析研究所

コンピュータサイエンス室

RIMS Computer Science Laboratory

概要

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

from north west

from south

entrance

seminar

Lab Lunch

毎週火曜日の１２：００～１３：３０に、教員と大学院生を中心に、インフォーマルな昼食会を行なっています。お客様も歓迎です。

Logic and Semantics Seminar

月曜日の１１：００～１２：００に、論理や意味論に関するインフォーマルなセミナーを行なっています。お客様も歓迎です。 [情報]

アクセス

工学部７号館は今出川通りの農学部前横断歩道のすぐ南の建物です。

[京大本部構内の地図] ←この地図の「２１番」の建物です。

コンピュータサイエンス研究室は２階の２０３号室です。
電話番号は７５３－７７９０（学内内線７７９０）です。

謝辞

開設にあたり、オムロン株式会社より、２００５年３月に解散したＫＡＢＡ - 特にＳＯＢＡプロジェクト（２００５年４月より株式会社ＳＯＢＡプロジェクト） - で使用されていた多くの機材・物品の提供を受けました。ご支援いただきましたオムロン・ＳＯＢＡ・ＫＡＢＡ関係者の皆様に感謝いたします。

2005年5月更新. 問い合わせ先：長谷川真人（京都大学数理解析研究所）