APPLICATION
教授匹配
Public Professor Archive
東京科学大学 · 情報理工学院 · 准教授
東京科学大学 · 情報理工学院 · 准教授
研究关键词modal logic・lambda calculus・proof theory・monadic second-order logic・mu-calculus・intuitionistic logic
研究领域数学一般(含確率論・統計数学)・数学・情報学・情報学基礎・情報科学・数物系科学・理学・理工系
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。