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
研究领域情報学・知能情報学・言語学・人文学・人文社会系・人間情報学・総合・新領域系・総合系
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。