鹿島研究室

研究テーマ

• 数理論理学．特に非古典論理を含めた証明論．
• 計算機科学の数学的な基礎．特にラムダ計算，型理論，計算論．

メンバー

• 鹿島 亮 准教授
• 学生
  • 岩波 克
  • 河野 友亮
  • 藤井 慶彦
  • 今井 寿太朗
  • 近藤 侑史
  • 瀬川 朗
  • 仲川 聡子
  • 小川 正裕
  • 齊藤 信臣