Ochanomizu University · Faculty of Science, Department of Information Science · 教授

Research keywordscomputational linguistics・weak crossover・automated theorem proving・dependent type theory・natural language inference・hyperbolic classifiers・logical proof theory・financial text validation

Research fieldsInformatics・Intelligent informatics・Linguistics・Humanities・Humanities and Social Sciences・Human informatics・Integrated Science and Innovative Science・Integrated Disciplines

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 言語処理学会第32回年次大会論文集, Q6-9, ライトキューブ宇都宮, , 2026年03月, 宮川 夏菜子; 大洞 日音; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者2026 · 論文
• 言語処理学会第32回年次大会論文集, Q6-11, ライトキューブ宇都宮, , 2026年03月, 小林 ほのか; 大洞 日音; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者2026 · 論文
• 言語処理学会第32回年次大会論文集, Q6-10, ライトキューブ宇都宮, , 2026年03月, 松原 舞; 外園 康智; 角田 充弘; 田村 光太郎; 大洞 日音; 富田 朝; 戸次 大介, 原著, 研究論文（国際会議プロシーディングス）, 共著者2026 · 論文
• - 284), 2023年03月, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, 原著, 論文集(書籍)内論文, 第一著者相当2023 · 論文

• Official profile
• KAKEN
• CiNii