Publications : Domestic

CCG 統語解析器 lightblue と定理証明器 wani によるJSeM Verbs データセットの自動推論.

言語処理学会第31回年次大会(NLP2025), 2025

言語学的パイプラインに基づく妥当性の検証：金融テキストを対象として

言語処理学会第32回年次大会(NLP2026), 2026

日本語推論システム lightblue の開発環境構築に向けて.

言語処理学会第31回年次大会(NLP2025), 2025

Yesodによる日本語推論システムlightblueの開発環境の構築

言語処理学会第32回年次大会(NLP2026), 2026

依存型意味論による日本語複合動詞の意味合成と推論

言語処理学会第32回年次大会(NLP2026), 2026

言語学的に妥当なCCGツリーバンク構築の試み.

人工知能学会(JSAI2023), 2023

CCG統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み

人工知能学会(JSAI2025), 2025

言語学的に妥当なCCGツリーバンク構築と評価

言語処理学会第30回年次大会(NLP2024), 2024

ツリーバンクの言語学的妥当性の評価.

言語処理学会第31回年次大会(NLP2025), 2025

LLMを用いた知識補完の統合による自然言語推論システムlightblueの拡張

言語処理学会第32回年次大会(NLP2026), 2026