APPLICATION
教授マッチング
Public Professor Archive
法政大学 · 経営学部 · 教授
法政大学 · 経営学部 · 教授
研究キーワードlogic puzzles・intuitionistic logic・sheaf theory・concrete domains・domain theory・lambda algebras・fixed point constructions・categorical equivalence
研究分野数学・代数学・幾何学・情報学・情報学基礎・情報科学・数学基礎・応用数学・数物系科学
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。