BekkiLabOfficial

お茶の水女子大学理学部情報科学科・戸次研究室の公式アカウントです。数理/理論/計算言語学の研究をしています。公式Youtubeチャンネル：

[BekkiLabOfficial @BekkiLab]

JST CREST「人と AI の共生・協働社会を実現する学際的システム基盤の創出」領域に応募していた研究課題が採択されました。「言語諸科学の協働による人・LLM間のフィードバック・ループ創出」戸次大介，主たる共同研究者：河原大輔（早大），松崎拓也（東京理科大），大関洋平（東大），谷中瞳（東大）

[BekkiLabOfficial @BekkiLab]

4/ "Neural DTS: Integrating Hyperbolic Classifiers into Natural Language Inference Systems" (Poster) — Honoka Kobayashi, Hinari Daido, Daisuke Bekki

A neuro-symbolic NLI approach using Hyperbolic Entailment Cones to learn entailments and inject as axioms in DTS proof search.

[BekkiLabOfficial @BekkiLab]

Our lab (@BekkiLab) presented 4 papers at the 3rd Workshop on Bridges and Gaps between Formal and Computational Linguistics (BriGap-3), Université Paris Cité, Paris (July 11, 2026). A thread on each 🧵

[BekkiLabOfficial @BekkiLab]

3/ "Implementing Disjunctive Anaphora à la Dependent Type Semantics" (Poster) — Hinari Daido, Daisuke Bekki

A DTS account of disjunctive anaphora, incl. Rothschild's puzzle. Extending wani with disjoint-union types, we solve a FraCaS-style dataset at 100%—the first such system.

[BekkiLabOfficial @BekkiLab]

https://t.co/Rxo7YjfY5n

[BekkiLabOfficial @BekkiLab]

Linguists, logicians & philosophers: LENLS22 will be held at Kobe University, Nov. 26-28, 2026! Invited speakers: Thomas Grano (Indiana Univ.) and Daniel Lassiter (Univ. of Edinburgh). The official CFP coming soon!

[BekkiLabOfficial @BekkiLab]

We've updated our lab's website:
https://t.co/hkePgcz42E

[BekkiLabOfficial @BekkiLab]

Q6-13 Yesod による日本語推論システム lightblue の開発環境の構築 ○佐伯 小遥, 富田 朝, 松原 舞, 戸次 大介
Q6-14 依存型意味論による日本語複合動詞の意味合成と推論 ○佐久間 香那, 富田 朝, 戸次 大介

[BekkiLabOfficial @BekkiLab]

NLP2026＠宇都宮に参加予定です。戸次研からは「Q6:計算・形式言語学」3/11 (水) 11:15-12:45 で以下の7件のポスター発表を予定しています。（続）

[BekkiLabOfficial @BekkiLab]

Q6-10 言語学的パイプラインに基づく妥当性の検証：金融テキストを対象として ○松原 舞, 外園 康智, 角田 充弘, 田村 光太郎, 大洞 日音, 富田 朝, 戸次 大介
Q6-11 Neural DTS：自然言語推論システムへの双曲分類器の組み込み ○小林 ほのか, 大洞 日音, 戸次 大介

[BekkiLabOfficial @BekkiLab]

戸次研M1の宮川夏菜子さんが、人工知能学会2025年度全国大会学生奨励賞を受賞しました。「依存型理論のための自動定理証明器Neural Waniの開発に向けて」

広報：https://t.co/bSMlXm2Iim
論文：https://t.co/HTeJOu9hx4

[BekkiLabOfficial @BekkiLab]

LENLS21 (Nov.28-30, Nagoya) program is now available: https://t.co/8vVpXTZyYs

Registration deadline is Oct.31 for conference dinner participants, and Nov.16 for general participants.

[BekkiLabOfficial @BekkiLab]

自然言語処理、心理言語学、計算言語学分野を代表する中堅・若手の皆さまの力を借りて、このような有り難い機会をいただくことができました。自分もCRESTのPIを務めるのは初めてですが、和泉総括のもと成果を出しますので、みなさま今後とも、どうぞよろしくお願い致します。

[BekkiLabOfficial @BekkiLab]

JST CREST「人と AI の共生・協働社会を実現する学際的システム基盤の創出」領域に応募していた研究課題が採択されました。「言語諸科学の協働による人・LLM間のフィードバック・ループ創出」戸次大介，主たる共同研究者：河原大輔（早大），松崎拓也（東京理科大），大関洋平（東大），谷中瞳（東大）

[戸次大介/Daisuke Bekki @kaleidotheater]

また2週目には、sheaf theoryのworkshopで共著者のLachlan McPheatさんと共に招待講演を行い、DTSの層意味論とその展望についてお話ししました。哲学や社会言語学のlecturesがある一方で層のworkshopがあったりするのがESSLLIの魅力かも。

[戸次大介/Daisuke Bekki @kaleidotheater]

Bochumでの2週間のESSLLIが終わり、帰国の途についています。1週目には5日間のcourse lectureを担当し、世界各国から集まった意欲ある学生相手に議論を重ねることができました。またguest lectureを担当して頂いた松岡さん、富田さん、田上さん、有難うございました。

[BekkiLabOfficial @BekkiLab]

This is a Japanese textbook on LLM, but it's chapter 2 is devoted to Dependent type semantics (DTS), as the theory of natural language meaning. Highly recommended.

[戸次大介/Daisuke Bekki @kaleidotheater]

「言語の数理とLLMの知能」（船蔵颯著）ご献本頂きました。

この本はLLMの入門書でありながら、第二章がまるまる依存型意味論(DTS)の解説に充てられているところが盛り上がりポイントです。現在、日本語で読める唯一のDTS解説になっています。

[BekkiLabOfficial @BekkiLab]

Linguists, logicians, and philosophers: We are delighted to announce that LENLS21 will take place in Nagoya in November. Our distinguished invited speakers are Luca Gasparri (CNRS) and Dorothy Ahn (Rutgers University). Visit our website for details.

https://t.co/8vVpXTZ18U