Rchr
J-GLOBAL ID：201101012832283228
Update date: Nov. 07, 2025
Bekki Daisuke
ベッキ ダイスケ | Bekki Daisuke
Affiliation and department：
Job title：
Professor
Homepage URL (1)：
https://daisukebekki.github.io/
Research field (4)：
Applied mathematics and statistics
, Basic mathematics
, Linguistics
, Intelligent informatics
Research keywords (3)：
Computational Linguistics
, Theoretical Linguistics
, 数理言語学
Research theme for competitive and other funds (18)：
- 2025 - 2031 The Nexus of Human-LLM Interaction: A Multidisciplinary Linguistic Approach to Building a Collaborative Feedback Loop
- 2023 - 2028 The theory of meaning via dependent type semantics and its automatic verification
- 2024 - 2027 日本語の様相表現を確率によって分析する理論的枠組みの構築-可能世界からの脱却
- 2020 - 2026 知識と推論に基づいて言語で説明できるAIシステム
- 2018 - 2022 Development of Japanese CCG parser "lightblue"
- 2018 - 2021 医療テキスト構造化のための言語・知識処理基盤の構築
- 2013 - 2020 xxx
- 2016 - 2019 Computational semantics and pragmatics of honorification and particles in Asian languages
- 2015 - 2018 Unified perspective for formal and lexical semantics based on type-theoretic semantics
- 2013 - 2016 Computational semantics and pragmatics of politeness phenomena
- 2010 - 2014 A Unified Framework for Natural Language Semantics and Pragmatics by Meta-Lambda Calculus and Linguistic Monads
- 2008 - 2010 Construction of an annotated corpus for certainty recognition
- 2007 - 2010 確実性アノテーション:『確実性判断を表す意味的文脈』を記述したコーパスの構築
- 2008 - 2009 Formal analysis of the structures of coordination by CCG and Higher-order dynamic logic
- 2007 - 2009 CCGと高階動的論理による等位接続構文の形式的記述
- 2000 - 2003 プログラミング言語としての自然言語~推論システムと人間の思考~
- 1997 - 2000 単一化文法を用いた日本語の統語的・意味的・談話的制約の統合的記述とその処理
- 1998 - 1999 単一化文法に基づいた日本語の統語・意味・文脈的制約の統合的記述とその処理機構
Show all
Papers (104)：
-
Tomita,Asa, Matsubara,Mai, Daido,Hinari, Bekki,Daisuke. Natural Language Inference with CCG Parser and Automated Theorem Prover for DTS. Proceedings of Bridges and Gaps between Formal and Computational Linguistics (BriGap-2), Workshop in IWCS 2025. 2025
-
Iimura,Aoi, Mizuno,Teruyuki, Bekki,Daisuke. Modal Subordination in Dependent Type Semantics. Proceedings of Bridges and Gaps between Formal and Computational Linguistics (BriGap-2), Workshop in IWCS 2025. 2025
-
Asa Tomita, Hitomi Yanaka, Daisuke Bekki. Automatic Evaluation of Linguistic Validity in Japanese CCG Treebanks. Proceedings of the 23rd International Workshop on Treebanks and Linguistic Theories (TLT, SyntaxFest 2025). 2025. 74-80
-
富田朝, 大洞日音, 戸次大介. CCG 統語解析器lightblueと自動定理証明器waniによる自然言語推論の試み. 第39回人工知能学会全国大会論文集, 4G1-GS-6-03. 2025
-
宮川夏菜子, 田上青空, 戸次大介. 依存型理論のための自動定理証明器Neural Waniの開発に向けて. 第39回人工知能学会全国大会論文集, 3G5-GS-6-04. 2025
ｍore...
MISC (31)：
-
Izumi Haruta, Koji Mineshima, Daisuke Bekki. A CCG-based Compositional Semantics and Inference System for Comparatives. 2019
-
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos. Can neural networks understand monotonicity reasoning?. 2019
-
Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki. Multimodal Logical Inference System for Visual-Textual Entailment. 2019
-
Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki. Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. 2019
-
Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos. HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. 2019
ｍore...
Books (4)：
-
Logic and Engineering of Natural Language Semantics, 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
Springer 2024 ISBN:9783031608773
-
Logic and Engineering of Natural Language Semantics, 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers
Springer 2023 ISBN:9783031439766
-
Mathematical Logic
University of Tokyo Press 2012 ISBN:4130629158
-
日本語文法の形式理論-活用体系・統語構造・意味合成-
くろしお出版 2010 ISBN:4874244688
Lectures and oral presentations (16)：
-
A Proof-theoretic Analysis of VP Ellipsis in Dependent Type Semantics
(Logic and Engineering of Natural Language Semantics 21 2025)
-
A Proof-theoretic Investigation of Natural Language Semantics
(International Conference on Mathematical;Computational Linguistics for Proofs;a part of EuroProofNe;Symposium;Institut Pascal 2025)
-
Composing Meaning via Dependent Types
(36th European Summer School in Logic, Language and Information (ESSLLI2025), Bochum)
-
Sheaves for Dependent Types and Natural Language Sematantics
(Theory and applications of sheaf theory, ESSLLI2025 workshop 2025)
-
From Dependent Types to Natural Language Semantics
(Logic Colloquium 2024 2024)
ｍore...
Professional career (1)：
Work history (4)：
- 2023/04 - 現在 Ochanomizu University Faculty of Core Science Professor
- 2008/04 - 2022/03 Ochanomizu University Graduate School of Humanities and Sciences
- 2005/04 - 2008/03 東京大学総合文化研究科 研究拠点形成特任研究員
- 2000/10 - 2003/09 科学技術振興機構戦略的創造研究推進事業さきがけプログラム「情報と知」領域 専任研究員
Association Membership(s) (3)：
Return to Previous Page
