戸次 大介

BEKKI Daisuke

職名

准教授

所属

基幹研究院 自然科学系

人間文化創成科学研究科 博士後期課程 理学専攻

人間文化創成科学研究科 博士前期課程 理学専攻

理学部 情報科学科

■廃止組織■ 教育開発センター

お茶の水女子大学

主担当学科

理学部情報科学科

担当大学院(博士前期課程)

人間文化創成科学研究科理学専攻情報科学コース

担当大学院(博士後期課程)

人間文化創成科学研究科理学専攻情報科学領域

URL

写真a

研究キーワード 【 表示 / 非表示

  • 数理言語学、計算言語学

研究内容 【 表示 / 非表示

  • 学校の国語・外国語の授業では「文法」を規範的な規則として学びますが、実は私たちはそのような規則を学ばないうちから母語を使用することができます。それでいて母語によるコミュニケーションが可能であることは、母語には私たちが意識していない内在的な法則性があることを示唆しています。ところが、誰もが言語を無意識に使いこなしているにも関わらず、これまで誰もその法則性の全体を記述することには成功していません。考えてみればこれは大変不思議なことです。
     数理言語学という分野では、日本語や英語といった自然言語の文法と意味に関わる法則を、数式を用いて解明していきます。中学高校の英文法でも「SVO」等の記号が登場しますが、それにはあまり納得できなかった人も多いと思います。数理言語学では、記号論理学やプログラミング理論の近年の成果を用いて、それらを遥かに精緻化した理論を展開します。このように、言語や哲学の問題も数学的な構造として記述し、数学の定理を活かして解く、ということが可能になってきています。

教育内容 【 表示 / 非表示

  • 「人間の言葉を数学的に分析する」というと、水と油を一緒にするような印象を受けるかもしれません。しかし、日本語や英語といった自然言語と、数学・論理学・プログラミングで用いる形式言語は、根底のところで共通している、というのが形式文法(Formal Grammar)・形式意味論(Formal Semantics)の考え方であり、文系と理系の完全な境界領域を形成しています。この授業では、自然言語の中でも、特に日本語の文法と意味について、組合せ範疇文法(Combinatory Categorial Grammar: CCG)という比較的新しい理論による分析を解説します。講義を通して、形式文法・意味論の基本的な考え方を身に付けることを目指します。

受験生等へのメッセージ 【 表示 / 非表示

  • 日本では、学問分野は大きく「文系」と「理系」に分けられていますが、それぞれ「世界を見る人間」と「人間が見る世界」を対象としていることを考えると、本来は渾然一体としたものです。しかし、文系で育った学生と理系で育った学生では、知識だけではなく、ものの見方自体が異なることがあります。この「文理の壁」を乗り越えるにはどうしたら良いか、皆さんと一緒に考えていければと思っています。

学歴 【 表示 / 非表示

  • 東京大学, 理学系研究科, 情報科学専攻, 大学院(博士課程), 2000年09月, 修了, 日本国

  • 東京大学, 理学系研究科, 情報科学専攻, 大学院(修士課程), 1997年03月, 修了, 日本国

  • 東京大学, 理学部, 情報科学科, 大学, 1995年03月, 卒業, 日本国

学位 【 表示 / 非表示

  • 博士(理学), 2000年09月

  • 修士(理学), 1997年03月

  • 学士(理学), 1995年03月

学内職務経歴 【 表示 / 非表示

  • 人間文化創成科学研究科 研究院【基幹部門】 自然・応用科学系,准教授

  • 基幹研究院 自然科学系,准教授

  • 人間文化創成科学研究科 教育院【博士後期課程】 理学専攻

  • 人間文化創成科学研究科 博士後期課程 理学専攻

  • 人間文化創成科学研究科 教育院【博士前期課程】 理学専攻

全件表示 >>

学外略歴 【 表示 / 非表示

  • 南カリフォルニア大学 言語学科,研究員,1998年07月 - 1999年06月

 

学術著書・訳書 【 表示 / 非表示

  • New Frontiers in Artificial Intelligence (JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers)

    Springer, 2014年10月, Nakano, Yukiko. Satoh, Ken. Bekki, Daisuke, 研究書

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

    Springer, 2013年07月, 研究書

  • 数理論理学

    東京大学出版会, 2012年03月, 戸次大介, 教科書, 全体

  • New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers), LNAI 6797

    Springer, 2011年11月, Onoda, Takashi Bekki, Daisuke McCready, Eric, 研究書

  • New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers)

    Combinatory Categorial Grammar as a Substructural Logic - Preliminary Remarks - (revised version), Springer, 2011年07月, Bekki, Daisuke, Takashi Onoda, Daisuke Bekki, Eric McCready, 研究書, 17-30

全件表示 >>

論文 【 表示 / 非表示

  • 含意関係認識による金融ドキュメントチェックへの取り組み

    言語処理学会第24回年次大会発表論文集, A6-5巻, 2018年, 馬目 華奈, 外園 康智, 長谷川 貴博, 小西 優祐, 渡邉 知樹, 簗 有紀子, 谷中 瞳, 田中 リベカ, 峯島 宏次, 戸次 大介, 原著, 研究論文(学術雑誌), 共著者

  • Acquisition of Phrase Correspondences using Natural Deduction Proofs

    In Proceedings of NAACL2018 (to appear), 2018年, Hitomi Yanaka, Koji Mineshima, Pascual Martinez-Gomez, Daisuke Bekki, 原著, 研究論文(学術雑誌), 共著者

  • Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning

    In Proceedings of NAACL HLT 2018 (to appear), 2018年, Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki, 原著, 研究論文(学術雑誌), 共著者

  • 自然演繹に基づく論理推論の文間類似度学習・含意関係認識への応用

    言語処理学会第24回年次大会発表論文集, 2018年, 谷中 瞳, 峯島 宏次, Martinez-Gomez Pascual, 戸次 大介, 原著, 研究論文(学術雑誌), 共著者

  • 自然演繹に基づく文間の含意関係の証明を用いたフレーズアライメントの試み

    言語処理学会第24回年次大会発表論文集, E5-3,巻, 2018年, 谷中 瞳, 峯島 宏次, Martinez-Gomez Pascual, 戸次 大介, 原著, 研究論文(学術雑誌), 共著者

全件表示 >>

研究発表 【 表示 / 非表示

  • 依存型意味論入門

    戸次大介, 国内, 2015年03月, 第13回ICRセミナー: 動的意味論の最前線, 筑波大学東京キャンパス, 招待講演, 第一発表者

  • 依存型理論による自然言語の意味論入門

    戸次大介, 国内, 2014年10月, 第94回九州大学言語学研究会, 九州大学, 招待講演, 第一発表者

  • Japanese Honorification: Compositionality and Expressivity

    Watanabe, Narumi. McCready, Eric. Bekki, Daisuke, 国内, 2014年06月, Formal Approaches to Japanese Linguistics (FAJL) 7, nternational Christian University, Japan, 一般発表, 共著者

  • 一般化量化子を含む自然論理に対する依存型意味論の完全性

    中野悠紀. 戸次大介, 国内, 2014年03月, 第16回プログラミングおよびプログラミング言語ワークショップ, 阿蘇の司 ビラパークホテル, PPL2014, 一般発表, 共著者

  • Neighborhood-Sheaf Semantics of First-Order Conditional Logic

    山本華子. 戸次大介, 国内, 2013年09月, ALGI and SLACS join forces, 京都大学, SLAGICS 2013, 一般発表, 共著者

全件表示 >>

研究活動に対する受賞 【 表示 / 非表示

  • 大会優秀発表賞

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

外部資金等受入(教育・社会貢献の外部資金を含む) 【 表示 / 非表示

  • 知識に基づく構造的言語処理の確立と知識インフラの構築

    黒橋禎夫, 戸次大介, 戦略的創造研究推進事業(CREST)「ビッグデータ統合利活用のための次世代基盤技術の創出・体系化」領域, JST, 2013年度, 5,200千円

  • メタラムダ計算とモナドによる自然言語の意味・文脈情報の統合

    若手研究(A), 戸次大介, 科学研究費補助金, 2013年度

  • Computational semantics and pragmatics of politeness phenomena

    基盤研究(C), Eric McCready, 戸次大介, 科学研究費補助金, 2013年度, 400千円

  • メタラムダ計算とモナドによる自然言語の意味・文脈情報の統合

    若手研究(A), 戸次大介, 科学研究費補助金, 2012年度

  • メタラムダ計算とモナドによる自然言語の意味・文脈情報の統合

    若手研究(A), 戸次大介, 科学研究費補助金, 2011年度

全件表示 >>

 

学術団体の役員、委員等としての貢献 【 表示 / 非表示

  • 人工知能学会, 委員,2010年04月 - 2012年03月, 国内