京都大学数理解析研究所コンピュータ・サイエンス研究部門では、論理学やラムダ計算などの数理的手法を用いて、コンピュータ・システムの理論的性質の研究やソフトウェア構築のための新しい手法の研究が行われています．たとえば，以下のようなテーマについて活発な研究活動が行われています．

  • 計算の理論
  • ラムダ計算
  • 型理論
  • 並行、並列計算
  • プログラミング言語理論
  • 数理論理学

興味のある方は，各研究スタッフ・大学院学生に直接お尋ねください．また、最近の出版論文リストもご参照ください．

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