Publications
International
Domestic
Talks
Contributed Talk - Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks
Slide
Aug 7, 2025
NAtural LOgic meets MAchine learning workshop (NALOMA) co-located with ESSLLI2025
Guest Talk - Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS
Slide
Aug 1, 2025
ESSLLI2025 course: Composing Meaning via Dependent Types by Daisuke Bekki
OCHADAI OPEN CAMPUS 2025
Slide
Jul 19, 2025
I gave a talk introducing the Department of Information Science.
CCG統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み
Slide
Jun 27, 2025
CREST信頼されるAIシステム 2025年度上期領域ワークショップ - ポスター発表