大学院生のカリキュラム
大学院教育は大体、次のようなカリキュラムに沿って行われています。
基礎理論ゼミ (修士一年)
コンピュータ・サイエンスに関する基礎理論を習得するためのゼミです。主に次の内容をゼミ形式（場合によっては実習）で学習します。
- 数理論理
- 形式言語とオートマトン、コンパイラ
- 表示的意味論、領域理論および圏論
- 書換えモデル、代数モデル
- 並列計算
- ラムダ計算、型理論と関数型言語
- オブジェクト指向プログラミング
- コンピュータアーキテクチャ
修士論文ゼミ、博士論文ゼミ
上記のゼミによりコンピュータサイエンスの基礎理論を習得した後，それぞれの学生の修士論文および博士論文につながる研究のために，各自の興味に応じたゼミをアレンジします．通常，教官と１対１の個人指導形式で行われます．
他のゼミ
学生の進度に沿ったゼミとは別に、コンピュータサイエンスおよび関連する話題のセミナーを随時行っています。
Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.