APPLICATION
教授マッチング
Public Professor Archive
京都大学 · 総合人間学部・人間・環境学研究科 · 准教授
京都大学 · 総合人間学部・人間・環境学研究科 · 准教授
研究キーワードcomputable analysis・exact real computation・certified program extraction・Coq formalization・analytic function complexity・Taylor models・ordinary differential equations・constructive type theory
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。