APPLICATION
教授マッチング
Public Professor Archive
東京科学大学 · 情報理工学院 · 准教授
東京科学大学 · 情報理工学院 · 准教授
研究キーワードmodal logic・lambda calculus・proof theory・monadic second-order logic・mu-calculus・intuitionistic logic
研究分野数学一般(含確率論・統計数学)・数学・情報学・情報学基礎・情報科学・数物系科学・理学・理工系
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。