Our group

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

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

さらに、理論を応用した革新的なソフトウェアの開発なども積極的に進められています。

Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.