APPLICATION
教授マッチング
Public Professor Archive
お茶の水女子大学 · 理学部 情報科学科 · 教授
お茶の水女子大学 · 理学部 情報科学科 · 教授
研究キーワードcomputational linguistics・weak crossover・automated theorem proving・dependent type theory・natural language inference・hyperbolic classifiers・logical proof theory・financial text validation
研究分野情報学・知能情報学・言語学・人文学・人文社会系・人間情報学・総合・新領域系・総合系
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。