Give everyone on earth one source of truth for logic, language and information science.

戸次研究室では、数理言語学(mathematical linguistics)/理論言語学(theoretical linguistics)/計算言語学(computational linguistics)と呼ばれる3分野を横断する研究をしています。

いずれも人間の言語を対象とした自然科学であり、数理モデルを用いて自然言語の(音声と意味の間にある)構造を解明する研究分野です。特に、理論の数理的な性質を対象とする分野が数理言語学、理論の経験的な帰結と検証を対象とする分野が理論言語学、理論の計算的な性質を実装を通して研究する分野が計算言語学と呼ばれています。戸次研究室では主に、

  1. 組合せ範疇文法(Combinatory Categorial Grammar)
  2. 依存型意味論(Dependent Type Theory)
  3. 圏論(Category theory), 部分構造論理(substructural logics)

などの理論的枠組みを用いて、さまざまな言語現象(日本語の統語構造/照応・前提/談話関係/一般化量化子/モダリティ/慣習的含み/敬語/フォーカス/含意関係認識/日本語の機能表現/日本語のテンス・アスペクトなど)を統一的に説明する理論と、その背後にある構造を追究しています。

Introductions

計算言語学とは何か【戸次研究室研究紹介】(2022/6/13)

[戸次研究室紹介](https://youtu.be/bEy6CyQ_aHE](https://youtu.be/bEy6CyQ_aHE)

数理言語学から考える大規模言語モデル | 2024年 | 野村総合研究所(NRI)

2020年度戸次研・研究室紹介

新技術説明会@JST(2018年06月12日)

SNS


BekkiLab Official Twitter (X)

📺 BekkiLab Official YouTube Channel

Lab


Bekkilab Members

📰 Publications

💰 Fundings

Textbooks


(日本語研究叢書24) 日本語文法の形式理論 - 活用体系・統語構造・意味合成

数理論理学

Projects


2025-

[共生AI学際システム] 2025年度採択課題 | CREST

2020-2025

[信頼されるAIシステム]2020年度採択課題 | CREST

2013-2019

知識と推論に基づいて言語で説明できるAIシステム

Github repositories


DaisukeBekki/lightblue

DaisukeBekki/JSeM