APPLICATION
教授マッチング
Public Professor Archive
豊田工業大学 · 未分類 · 教授
豊田工業大学 · 未分類 · 教授
研究キーワードprogram synthesis・linear logic・rongorongo analysis・programming contest education・Standard ML education・induction inference・undeciphered language analysis・formal reasoning
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。