BEKKI Daisuke


Position

Professor

Affiliation

Graduate School of Humanities and Sciences, Education Organization, Doctral Program Advanced Sciences

Graduate School of Humanities and Sciences, Education Organization, Master's Program Advanced Sciences

Faculty of Science Information Sciences

Faculty of Core Research Natural Sciences Division

Ochanomizu University

Faculty

Information Sciences

Education Organization (Master's Program)

Computer Science

Education Organization (Doctoral Program)

Department of Computer Science

URL

写真a

To the head of this page.▲

Research Keywords 【 display / non-display 】

  • Mathematical Linguistics, Computational Linguistics

To the head of this page.▲

Academic 【 display / non-display 】

  • University of Tokyo, Faculty of Science, Department of Information Science, Graduate School(Doctor's Course), 2000.09, 修了, Japan

  • University of Tokyo, Faculty of Science, Department of Information Science, Graduate School(Master's Course), 1997.03, 修了, Japan

  • University of Tokyo, Faculty of Science, Department of Information Science, University, 1995.03, 卒業, Japan

To the head of this page.▲

Degree 【 display / non-display 】

  • Doctor of Science, University of Tokyo, 2000.09

  • Master of Science, University of Tokyo, 1997.03

  • Bachelor of Science, University of Tokyo, 1995.03

To the head of this page.▲

Campus Career 【 display / non-display 】

  • Graduate School of Humanities and Sciences, Research Organization, the Core Section The Natural/Applied Sciences Division, Associate Professor, 2012.04 - 2015.03

  • Faculty of Core Research Natural Sciences Division, Associate Professor, 2015.04 - 2023.03

  • Graduate School of Humanities and Sciences, Education Organization, Doctral Program Advanced Sciences, 2012.04 - 2015.03

  • Graduate School of Humanities and Sciences, Education Organization, Doctral Program Advanced Sciences, 2015.04 -

  • Graduate School of Humanities and Sciences, Education Organization, Master's Program Advanced Sciences, 2012.04 - 2015.03

display all >>

To the head of this page.▲

External Career 【 display / non-display 】

  • University of Southern California Linguistic Department, Visiting Scholar, 1998.07 - 1999.06

To the head of this page.▲

Research Field 【 display / non-display 】

To the head of this page.▲
 

Books 【 display / non-display 】

  • Logic and Engineering of Natural Language Semantics, 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

    Springer2023.10, Bekki,Daisuke; Mineshima,Koji; McCready,Elin;, Scholarly book

  • Logic and Engineering of Natural Language Semantics, 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

    Springer2024.07, Bekki,Daisuke; Mineshima,Koji; McCready,Elin, Scholarly book, 全体

  • New Frontiers in Artificial Intelligence, JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers

    Springer2018.07, Arai,Sachiyo; Kojima,Kazuhiro; Mineshima,Koji; Bekki,Daisuke; Satoh,Ken; Ohta,Yuiko;, Scholarly book

  • New Frontiers in Artificial Intelligence, JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers

    Springer2017.07, Kurahashi,Setsuya; Ohta,Yukiko; Arai,Sachiyo; Satoh,Ken; Bekki,Daisuke;, Scholarly book

  • New Frontiers in Artificial Intelligence (JSAI-isa2012 Workshops, Miyazaki, Japan, Selected Papers from LENS9, JURISIN2012, ALSIP2012 and MiMI)

    Springer2013.07, Scholarly book

display all >>

To the head of this page.▲

Papers 【 display / non-display 】

  • A Proof-theoretic Analysis of Weak Crossover

    New Frontiers in Artificial Intelligence (JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 202, Springer, , vol.LNAI 13856(-)(p.228 - 241), 2023.07, Daisuke Bekki, Original, Part of collection (book), Single Author

  • Integrating Deep Neural Network with Dependent Type Semantics

    Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), Springer, , vol.1081(-)(p.261 - 284), 2023.03, Bekki,Daisuke; Tanaka,Ribeka; Takahashi,Yuta;, Original, Part of collection (book), Capital Author

  • Neural DTS：自然言語推論システムへの双曲分類器の組み込み

    言語処理学会第32回年次大会論文集, Q6-11, ライトキューブ宇都宮, , 2026.03, 小林 ほのか; 大洞 日音; 戸次 大介, Original, Research paper (international conference proceedings), Coauthor

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

    言語処理学会第32回年次大会論文集, Q6-10, ライトキューブ宇都宮, , 2026.03, 松原 舞; 外園 康智; 角田 充弘; 田村 光太郎; 大洞 日音; 富田 朝; 戸次 大介, Original, Research paper (international conference proceedings), Coauthor

  • Neural Wani：依存型理論のための自動定理証明器waniの高速化に向けて

    言語処理学会第32回年次大会論文集, Q6-9, ライトキューブ宇都宮, , 2026.03, 宮川 夏菜子; 大洞 日音; 戸次 大介, Original, Research paper (international conference proceedings), Coauthor

display all >>

To the head of this page.▲

Published Article 【 display / non-display 】

  • 進化する自然言語処理

    日経サイエンス2021年2月号, 2020.12, 吉川和輝, 戸次大介, Original, Coauthor, Except for reviews, Article, review, commentary, editorial, etc. (trade magazine, newspaper, online media)

To the head of this page.▲

Review Papers 【 display / non-display 】

  • 日本語学大事典

    句構造文法, 東京堂出版, 2018, 戸次大介, Dictionary, Individual

  • 人工知能学事典

    「形式意味論」, 人工知能学会, 2016, 戸次大介, Dictionary, Individual

  • 人工知能学会誌

    合理主義言語学における部分構造論理, 人工知能学会, vol.　27(3)(p.304 - 309), 2012.05, 戸次大介, Other, Individual

To the head of this page.▲

Presentations 【 display / non-display 】

  • Modal DTSによる様相従属化の分析再考

    飯村 葵; 水野 輝之; 戸次 大介, Domestic, Poster presentation, 2026.03, , 言語処理学会第32回年次大会論文集, Q6-5, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

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

    佐伯 小遥; 富田 朝; 松原 舞; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-13, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

  • Neural DTS：自然言語推論システムへの双曲分類器の組み込み

    小林 ほのか; 大洞 日音; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-11, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

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

    松原 舞; 外園 康智; 角田 充弘; 田村 光太郎; 大洞 日音; 富田 朝; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-10, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

  • Neural Wani：依存型理論のための自動定理証明器waniの高速化に向けて

    宮川 夏菜子; 大洞 日音; 戸次 大介, Domestic, Oral presentation (general), 2026.03, , 言語処理学会第32回年次大会論文集, Q6-9, ライトキューブ宇都宮, ライトキューブ宇都宮, Not Invited, Coauthor

display all >>

To the head of this page.▲

Prize for Research Activities 【 display / non-display 】

  • 2025年度全国大会学生奨励賞

    人工知能学会, 宮川夏菜子, 田上青空, 戸次大介, 「依存型理論のための自動定理証明器Neural Waniの開発に向けて」第39回人工知能学会全国大会論文集, 3G5-GS-6-04, 大阪国際会議場, 2025.06, Domestic

  • 全国大会優秀賞（口頭発表部門）

    第33回人工知能学会全国大会, 鈴木莉子, 吉川将司, 谷中瞳, 峯島宏次, 戸次大介, 「テキスト情報と画像情報を組み合わせた論理推論システムの構築」第33回人工知能学会全国大会論文集, 2L1-J-9-03, 朱鷺メッセ新潟コンベンションセンター，2019/6/4-7., 2019.06, Domestic

  • PPL 2014 発表賞

    プログラミングおよびプログラミング言語ワークショップ, 叢悠悠, 戸次大介, 「限定継続を用いたフォーカスの分析と実装」第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集, 阿蘇の司 ビラパークホテル（熊本県）, 2014/3/5-7., 2014.03, Domestic

  • 大会優秀発表賞

    言語処理学会, 川添愛. 齊藤学. 片岡喜代子. 崔栄殊. 戸次大介, 「確実性判断のためのアノテーション済みコーパスの構築」言語処理学会第17回年次大会発表論文集、pp.143-146, 2012.03, Domestic

To the head of this page.▲

Receipt of outside funds (Education, Research, Contribution to Society and industry-academia[government] collaboration) 【 display / non-display 】

  • Grant-in-Aid for Scientific Research(B)2023, 3,100,000yen

  • 受託研究2023, 13,000,000yen

  • 厚生労働科学研究費2022, 8,500,000yen

  • 受託研究2021, 13,000,000yen

  • 厚生労働科学研究費2021, 8,500,000yen

display all >>

To the head of this page.▲
 

Contributions as an officer, member, etc., of an academic society 【 display / non-display 】

  • 2010.04 - 2012.03，Committee Member, Domestic

To the head of this page.▲

Media coverage, appearances, commentary, etc. 【 display / non-display 】

  • 日経サイエンス2021年2月号「特集：AIに言葉の意味はわかるか」特集記事「進化する自然言語処理」，pp.53-58．

    2020.12.25

To the head of this page.▲