京都大学数理解析研究所
コンピュータ・サイエンス関連分野

訃報

京都大学数理解析研究所（地図）は、 自由な思索を基礎とする研究活動を活発に進めると同時に、 修士（博士前期）課程および博士課程後期の大学院教育（ 京都大学理学研究科 数学・数理解析専攻 数理解析系）に携わり、独創的な若い研究者の 育成を目指しています。当研究所は国の内外との交流も盛んで、 数理科学（純粋および応用数学、コンピュータ・サイエンス、 数理物理）を研究するための理想的環境が整っています。

当研究所コンピュータ・サイエンス研究部門では、 論理学やラムダ計算などの数理的手法を用いて、 コンピュータ・システムの理論的性質の研究や、 ソフトウェア構築のための新しい手法の研究が活発に行われています （最近の出版論文リストを 参照してください）。 さらに、理論を応用した革新的なソフトウェアの開発なども積極的に 進められています。

詳しくは，以下のページをご覧ください．

コンピュータサイエンス室（工１号館）

教育

• 教科書「コンピュータ・サイエンス入門」(岩波書店)
• 全学共通科目「コンピュータ・サイエンス入門」
• 修士・博士課程への応募方法
• 修士・博士課程のカリキュラム

研究

• コンピュータ・サイエンスに関する研究活動
• 現在の研究スタッフ・大学院学生
• 最近のセミナーなど
• 最近の出版論文リスト（英文）
• 最近の修士・博士論文リスト
• これまでに開発された代表的なソフトウェア