Mineshima Koji 峯島宏次

Researcher Number	80725739
Other IDs
Affiliation (Current)	2025: 慶應義塾大学, 文学部(三田), 准教授
Affiliation (based on the past Project Information) *help	2020 – 2024: 慶應義塾大学, 文学部(三田), 准教授 2020: 慶應義塾大学, 文学部, 准教授 2019: お茶の水女子大学, 文理融合 AI・データサイエンスセンター, 特任准教授 2017 – 2018: お茶の水女子大学, シミュレーション科学・生命情報学教育研究センター, 特任准教授 2016 – 2017: お茶の水女子大学, シミュレーション科学教育研究センター, 特任講師 … More 2015: お茶の水女子大学, プロジェクト教育研究院, 講師 2015: お茶の水女子大学, 文学部シミュレーション科学教育研究センター, 講師 2014: お茶の水女子大学, シミュレーション科学教育研究センター, 特任講師 2014: お茶の水女子大学, シュミレーション科学教育センター, 特任講師 Less
Review Section/Research Field	Principal Investigator Basic Section 01010:Philosophy and ethics-related / Philosophy/Ethics / Sections That Are Subject to Joint Review: Basic Section01010:Philosophy and ethics-related , Basic Section01080:Sociology of science, history of science and technology-related / Basic Section 01080:Sociology of science, history of science and technology-related Except Principal Investigator Basic Section 01010:Philosophy and ethics-related / Basic Section 02060:Linguistics-related / Philosophy/Ethics / Sections That Are Subject to Joint Review: Basic Section01010:Philosophy and ethics-related , Basic Section01080:Sociology of science, history of science and technology-related / Basic Section 01080:Sociology of science, history of science and technology-related / Medium-sized Section 1:Philosophy, art, and related fields
Keywords	Principal Investigator 自然言語推論 / 形式意味論 / 型理論 / 証明論 / 図形推論 / 論理学 / リーズニング / 深層学習 / 人工知能 / 論理 … More / 範疇文法 / 合成的意味論 / 大規模言語モデル / 意味論 / 含意関係認識 / 計算言語学 / 認知科学 … More Except Principal Investigator 論理学 / 論理哲学 / 論理の哲学 / 数学の哲学 / 哲学 / 論証 / 証明 / 機械学習 / CCG / アノテーション / 意味解析 / カテゴリ文法 / 推論研究 / 証明の哲学 / 図的論理 / 論理学の哲学 / ウィトゲンシュタイン / 証明論 / 図形推論 / 語用論 / 意味論 / 言語哲学 / 計算機科学基礎と哲学 / 論理 / 形式論理言語 / AIと論理 / 証明論の哲学 / LLMモデルと推論 / 証明と論証の哲学 / 統語変形 / ハイブリッドCG / 比較構文 / 深層学習 / 統語変換 / 統語解析 / 議論の不一致の克服 / 不一致 / 相互理解 / 論理的意味論 / 否定 / 証明論的意味論 / 不一致の理解と克服 / 不一致の哲学 / 論理的不一致 / ハイブリッド範疇文法 / 範疇文法 / ABCツリーバンク / NPCMJ / 日本語 / ツリーバンク / 論理哲学史 / 図的推論 / 意思決定 / ウィトゲンシュタインの哲学 / 論理推論 / 図的表現と図的推論・判断 / 証明論的・型論的意味論 / 多属性意思決定 / Wittgenstein / 論理推論研究 / 図形論理推論 / ウィトゲンシュタインの数学の哲学 / フッサールの論理 / 学際論理推論研究 / 学際論理研究 / 図形論理 / 可能世界意味論 / 線形論理 / 情報論理 / フッサール論理学 / 日常推論の認知科学 / Wittgenstein哲学 / 直観主義論理 / 論理と数学の哲学 Less

Interdisciplinary research on reasoning based on a unified perspective of logic and deep learningPrincipal Investigator
- Principal Investigator
  
  峯島宏次
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
  Basic Section 01080:Sociology of science, history of science and technology-related
  Sections That Are Subject to Joint Review: Basic Section01010:Philosophy and ethics-related , Basic Section01080:Sociology of science, history of science and technology-related
- Research Institution
  Keio University
Rebuilding Semantic Studies: Toward a New Science of Meaning
- Principal Investigator
  
  松阪陽一
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
  Basic Section 01080:Sociology of science, history of science and technology-related
  Sections That Are Subject to Joint Review: Basic Section01010:Philosophy and ethics-related , Basic Section01080:Sociology of science, history of science and technology-related
- Research Institution
  Tokyo Metropolitan University
証明論と型理論に基づく自然言語の形式意味論の新しい枠組みPrincipal Investigator
- Principal Investigator
  
  峯島宏次
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Keio University
Development of a Hybrid CG Parser
- Principal Investigator
  
  窪田悠介
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 02060:Linguistics-related
- Research Institution
  National Institute for Japanese Language and Linguistics
Interdisciplinary study of philosophy towards development of philosophy of proof and demonstratin
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 01010:Philosophy and ethics-related
- Research Institution
  Keio University
Study on "Disagreement" in logic
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2019 – 2024
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
- Review Section
  
  Medium-sized Section 1:Philosophy, art, and related fields
- Research Institution
  Keio University
Development of a multi-purpose categorial grammar treebank
- Principal Investigator
  
  Kubota Yusuke
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 02060:Linguistics-related
- Research Institution
  National Institute for Japanese Language and Linguistics
  University of Tsukuba
A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logicPrincipal Investigator
- Principal Investigator
  
  Mineshima Koji
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
  Ochanomizu University
"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics
- Principal Investigator
  
  Okada Mitsuhiro
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
Interdisciplinary study on logic, with a special focus on intuitionistic logic
- Principal Investigator
  
  Okada Mitsuhiro
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Keio University
An integrated study of natural language inference and diagrammatic inference using logical methodsPrincipal Investigator
- Principal Investigator
  
  Mineshima Koji
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Ochanomizu University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 Other

All Journal Article Presentation Book

[Book] Modern Perspectives in Type Theoretical Semantics2017
- Author(s)
  Daisuke Bekki and Koji Mineshima
- Total Pages
  296
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26770009
[Book] Context-Passing and Underspecification in Dependent Type Semantics. In S. Chatzikyriakidis and Z. Luo (eds.), Modern Perspectives in Type Theoretical Semantics, Studies of Linguistics and Philosophy,2017
- Author(s)
  Daisuke Bekki and Koji Mineshima
- Total Pages
  30
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26284005
[Book] New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Yokohama, Japan, November 23-24, 2014), Revised Selected Papers), Lecture Notes in Artificial Intelligence 90672015
- Author(s)
  Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (Eds.)
- Total Pages
  366
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] NeuBAROCO データセットによる大規模言語モデルの推論能力の検証2024
- Author(s)
  森下貴允, 安東里沙子, 阿部裕彦, 小関健太郎, 峯島宏次, 岡田光弘
- Journal Title
  
  言語処理学会第30回年次大会発表論文集
  
  Volume: 1 Pages: 931-936
- Open Access
- Data Source
  KAKENHI-PROJECT-19KK0006
[Journal Article] Can Machines and?Humans Use Negation When Describing Images?2024
- Author(s)
  Sato Yuri、Mineshima Koji
- Journal Title
  
  Proceedings of 2nd International Conference on Human and Artificial Rationalities
  
  Volume: LNCS 14522 Pages: 39-47
- DOI
  10.1007/978-3-031-55245-8_3
- ISBN
  9783031552441, 9783031552458
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K12782, KAKENHI-PROJECT-21K00016
[Journal Article] A Proof-Theoretic Approach to the Binding Problem2024
- Author(s)
  Yukiko Yana, Koji Mineshima and Daisuke Bekki,
- Journal Title
  
  Proceedings of 6th Asian Workshop on Philosophical Logic
  
  Volume: 0 Pages: 129-139
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K00016
[Journal Article] Do AIs obtain foundations of language? From the viewpoint of inferential systematicity2024
- Author(s)
  谷中瞳、峯島宏次
- Journal Title
  
  Cognitive Studies: Bulletin of the Japanese Cognitive Science Society
  
  Volume: 31 Issue: 1 Pages: 27-45
- DOI
  10.11225/cs.2023.078
- ISSN
  1341-7924, 1881-5995
- Year and Date
  2024-03-01
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-20K19868
[Journal Article] 比較文の意味解析のための「深い」係り受け関係の解析2023
- Author(s)
  窪田悠介, 林則序, 天本貴之, 峯島宏次
- Journal Title
  
  言語処理学会第29回年次大会予稿集
  
  Volume: 1 Pages: 2962-2967
- Open Access
- Data Source
  KAKENHI-PROJECT-21K00541
[Journal Article] Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar2023
- Author(s)
  Hayate Funakura, Koji Mineshima
- Journal Title
  
  Proceedings of the 37th Pacific Asia Conference on Language, Information and Computation
  
  Volume: 0 Pages: 764-774
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016
[Journal Article] Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases2023
- Author(s)
  Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro Okada
- Journal Title
  
  Proceedings of the 4th Natural Logic Meets Machine Learning Workshop
  
  Volume: 0 Pages: 1-11
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016
[Journal Article] Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations2023
- Author(s)
  Yuri Sato, Koji Mineshima, Kazuhiro Ueda
- Journal Title
  
  Cognitive Science
  
  Volume: 47 Issue: 3
- DOI
  10.1111/cogs.13258
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-20K12782, KAKENHI-PROJECT-19KK0006
[Journal Article] Implementing Natural Language Inference for Comparatives2023
- Author(s)
  Izumi Haruta, Koji Mineshima, Daisuke Bekki
- Journal Title
  
  Journal of Language Modelling
  
  Volume: 10 Issue: 1 Pages: 139-191
- DOI
  10.15398/jlm.v10i1.294
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-23K20416
[Journal Article] Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases2023
- Author(s)
  Risako Ando, Takanobu Morishita, Hirohiko Abe, Koji Mineshima, Mitsuhiro
- Journal Title
  
  Proceedings of the 4th Natural Logic Meets Machine Learning Workshop
  
  Volume: 1 Pages: 1-11
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19KK0006
[Journal Article] Compositional Evaluation on Japanese Textual Entailment and Similarity2022
- Author(s)
  Hitomi Yanaka, Koji Mineshima
- Journal Title
  
  Transactions of the Association for Computational Linguistics
  
  Volume: 10 Pages: 1266-1284
- DOI
  10.1162/tacl_a_00518
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-20K19868
[Journal Article] Visually Analyzing Universal Quantifiers in Photograph Captions2022
- Author(s)
  Yuri Sato, Koji Mineshima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 13462 Pages: 373-377
- DOI
  10.1007/978-3-031-15146-0_34
- ISBN
  9783031151453, 9783031151460
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-20K12782, KAKENHI-PROJECT-19KK0006
[Journal Article] ABCツリーバンク：学際的な言語研究のための基盤資源2021
- Author(s)
  窪田悠介, 峯島宏次, 林則序, 岡野伸哉
- Journal Title
  
  言語処理学会第27回年次大会予稿集
  
  Volume: － Pages: 1529-1534
- NAID
  120007143944
- Open Access
- Data Source
  KAKENHI-PROJECT-18K00523
[Journal Article] The Proviso Problem from a Proof-Theoretic Perspective2021
- Author(s)
  Yukiko Yana, Koji Mineshima, and Daisuke Bekki
- Journal Title
  
  Proceedings of Logical Aspects of Computational Linguistics 2021 (LACL2021)
  
  Volume: －
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016
[Journal Article] SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics2021
- Author(s)
  Hitomi Yanaka, Koji Mineshima, and Kentaro Inui
- Journal Title
  
  Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021
  
  Volume: － Pages: 103-119
- DOI
  10.18653/v1/2021.findings-acl.10
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-20K19868
[Journal Article] Can Humans and Machines Classify Photographs as Depicting Negation?2021
- Author(s)
  Sato Yuri、Mineshima Koji
- Journal Title
  
  Proceedings of 12th International Conference on the Theory and Application of Diagrams, Lecture Notes in Artificial Intelligence
  
  Volume: 12909 Pages: 348-352
- DOI
  10.1007/978-3-030-86062-2_35
- ISBN
  9783030860615, 9783030860622
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K12782, KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-23K20416
[Journal Article] Exploring Transitivity in Neural NLI Models through Veridicality2021
- Author(s)
  Hitomi Yanaka, Koji Mineshima, and Kentaro Inui
- Journal Title
  
  Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics (EACL2021)
  
  Volume: － Pages: 920-934
- DOI
  10.18653/v1/2021.eacl-main.78
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016
[Journal Article] Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference2021
- Author(s)
  Hitomi Yanaka and Koji Mineshima
- Journal Title
  
  Proceedings of BlackboxNLP 2021: Analyzing and interpreting neural networks for NLP
  
  Volume: － Pages: 337-349
- DOI
  10.18653/v1/2021.blackboxnlp-1.26
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K00016, KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-23K20416
[Journal Article] 論理と文法2020
- Author(s)
  峯島宏次
- Journal Title
  
  『数学セミナー』（特集「言語の数理」）
  
  Volume: 701 Pages: 30-35
- Data Source
  KAKENHI-PROJECT-17H02265
[Journal Article] Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis2020
- Author(s)
  Sato Yuri、Mineshima Koji
- Journal Title
  
  Proceedings of 11th International Conference on the Theory and Application of Diagrams, Lecture Notes in Artificial Intelligence
  
  Volume: 12169 Pages: 485-489
- DOI
  10.1007/978-3-030-54249-8_40
- ISBN
  9783030542481, 9783030542498
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K12782, KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-17K13316
[Journal Article] Logical Inferences with Comparatives and Generalized Quantifiers2020
- Author(s)
  Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;
- Journal Title
  
  Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics Student Research Workshp (ACL2020-SRW), Seattle, USA.
  
  Volume: 58 Pages: 263-270
- DOI
  10.18653/v1/2020.acl-srw.35
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-17K13316
[Journal Article] Development of a General-Purpose Categorial Grammar Treebank2020
- Author(s)
  Yusuke Kubota, Koji Mineshima, Noritsugu Hayashi, Shinya Okano
- Journal Title
  
  LREC 2020
  
  Volume: － Pages: 5195-5201
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K00523
[Journal Article] Diagrams for logics2020
- Author(s)
  佐藤有理、峯島宏次
- Journal Title
  
  Cognitive Studies: Bulletin of the Japanese Cognitive Science Society
  
  Volume: 28 Issue: 1 Pages: 139-152
- DOI
  10.11225/cs.2020.020
- NAID
  130007998529
- ISSN
  1341-7924, 1881-5995
- Year and Date
  2020-07-15
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K12782, KAKENHI-PROJECT-19KK0006, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-17K13316
[Journal Article] Combining Event Semantics and Degree Semantics for Natural Language Inference2020
- Author(s)
  Haruta,Izumi; Mineshima,Koji; Bekki,Daisuke;
- Journal Title
  
  Proceedings of the COLING2020 (short paper), Barcelona, Spain (Online)
  
  Volume: 28 Pages: 1758-1764
- DOI
  10.18653/v1/2020.coling-main.156
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18H03284, KAKENHI-PROJECT-17K13316
[Journal Article] Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?2020
- Author(s)
  Yanaka Hitomi、Mineshima Koji、Bekki Daisuke、Inui Kentaro
- Journal Title
  
  Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics (ACL2020)
  
  Volume: 1 Pages: 6105-6117
- DOI
  10.18653/v1/2020.acl-main.543
- NAID
  130007956038
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K19868, KAKENHI-PROJECT-17K13316
[Journal Article] 論理と文法2020
- Author(s)
  峯島宏次
- Journal Title
  
  『数学セミナー』701号（特集「言語の数理」）
  
  Volume: 701 Pages: 30-35
- Data Source
  KAKENHI-PROJECT-19KK0006
[Journal Article] Multimodal Logical Inference System for Visual-Textual Entailment2019
- Author(s)
  Suzuki Riko、Yanaka Hitomi、Yoshikawa Masashi、Mineshima Koji、Bekki Daisuke
- Journal Title
  
  Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop
  
  Volume: 2019 Pages: 386-392
- DOI
  10.18653/v1/p19-2054
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-17H02265
[Journal Article] Questions in Dependent Type Semantics2019
- Author(s)
  Watanabe Kazuki、Mineshima Koji、Bekki Daisuke
- Journal Title
  
  Proceedings of the Sixth Workshop on Natural Language and Computer Science
  
  Volume: 2019 Pages: 23-33
- DOI
  10.18653/v1/w19-1103
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-18H03284
[Journal Article] Can Neural Networks Understand Monotonicity Reasoning?2019
- Author(s)
  Yanaka Hitomi、Mineshima Koji、Bekki Daisuke、Inui Kentaro、Sekine Satoshi、Abzianidze Lasha、Bos Johan
- Journal Title
  
  Proceedings of the 2019 ACL Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP
  
  Volume: 2019 Pages: 31-40
- DOI
  10.18653/v1/w19-4804
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
[Journal Article] 汎用的な範疇文法ツリーバンクの構築2019
- Author(s)
  窪田悠介、峯島宏次、林則序、岡野伸哉
- Journal Title
  
  言語処理学会第25回年次大会予稿集
  
  Volume: - Pages: 143-146
- Open Access
- Data Source
  KAKENHI-PROJECT-18K00523
[Journal Article] Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation2019
- Author(s)
  Yoshikawa Masashi、Noji Hiroshi、Mineshima Koji、Bekki Daisuke
- Journal Title
  
  Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics
  
  Volume: 2019 Pages: 129-139
- DOI
  10.18653/v1/p19-1013
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18J12945
[Journal Article] A CCG-based Compositional Semantics and Inference System for Comparatives2019
- Author(s)
  Haruta Izumi、Mineshima Koji Mineshima、Bekki Daisuke
- Journal Title
  
  Proceedings of the 33rd Pacific Asia Conference on Language, Information and Computation
  
  Volume: 2019 Pages: 47-56
- NAID
  120006772920
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] Underspecification and interpretive parallelism in Dependent Type Semantics2019
- Author(s)
  Kubota Yusuke、Mineshima Koji、Levine Robert、Bekki Daisuke
- Journal Title
  
  Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures
  
  Volume: 2019 Pages: 1-9
- DOI
  10.18653/v1/w19-1001
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
[Journal Article] Variable Handling and Compositionality: Comparing DRT and DTS2019
- Author(s)
  Yana Yukiko、Mineshima Koji、Bekki Daisuke
- Journal Title
  
  Journal of Logic, Language and Information
  
  Volume: 28 Issue: 2 Pages: 261-285
- DOI
  10.1007/s10849-019-09294-3
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-17H02265, KAKENHI-PROJECT-18H03284
[Journal Article] HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning2019
- Author(s)
  Yanaka Hitomi、Mineshima Koji、Bekki Daisuke、Inui Kentaro、Sekine Satoshi、Abzianidze Lasha、Bos Johan
- Journal Title
  
  Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM 2019)
  
  Volume: 2019 Pages: 250-255
- DOI
  10.18653/v1/s19-1027
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-18H03284
[Journal Article] Coercion as Proof Search in Dependent Type Semantics2018
- Author(s)
  Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki
- Journal Title
  
  Oslo Studies in Language
  
  Volume: 10(2) Pages: 143-162
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] Consistent CCG parsing over multiple sentences for improved logical reasoning2018
- Author(s)
  Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji and Daisuke Bekki
- Journal Title
  
  Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2018)
  
  Volume: 16 Pages: 407-412
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] Coercion as Proof Search in Dependent Type Semantics2018
- Author(s)
  Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki
- Journal Title
  
  Oslo Studies in Language
  
  Volume: 10(2) Pages: 143-162
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H02265
[Journal Article] Acquisition of phrase correspondences using natural deduction proofs2018
- Author(s)
  Hitomi Yanaka, Koji Mineshima, Pascual Martinez-Gomez and Daisuke Bekki
- Journal Title
  
  Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT2018)
  
  Volume: 16 Pages: 756-766
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] 前提投射の実例のツリーバンクによる検索2018
- Author(s)
  窪田悠介、峯島宏次
- Journal Title
  
  日本言語学会第157回大会予稿集
  
  Volume: - Pages: 282-287
- Open Access
- Data Source
  KAKENHI-PROJECT-18K00523
[Journal Article] Paychecks, presupposition, and dependent types2018
- Author(s)
  Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  Proceedings of the Fifth Workshop on Natural Language and Computer Science (NLCS 2018)
  
  Volume: 5 Pages: 1-10
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] Acquisition of Phrase Correspondences using Natural Deduction Proofs2018
- Author(s)
  Hitomi Yanaka, Koji Mineshima, Pascual Martinez Gomez, Daisuke Bekki
- Journal Title
  
  Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics
  
  Volume: 1 Pages: 756-766
- DOI
  10.18653/v1/n18-1069
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H02265
[Journal Article] Neural sentence generation from formal semantics2018
- Author(s)
  Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martinez-Gomez, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  Proceedings of the 11th International Conference on Natural Language Generation (INLG 2018)
  
  Volume: 11 Pages: 408-414
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] Variable Handling in DRT and DTS2017
- Author(s)
  Yukiko Yana, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017
  
  Volume: 2017 Pages: 131-159
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] Factivity and Presupposition in Dependent Type Semantics2017
- Author(s)
  Ribeka Tanaka， Koji Mineshima， Daisuke Bekk
- Journal Title
  
  Journal of Language Modelling
  
  Volume: 5 Issue: 2 Pages: 385-420
- DOI
  10.15398/jlm.v5i2.153
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K02640, KAKENHI-PROJECT-17K13316, KAKENHI-PROJECT-15J11772, KAKENHI-PROJECT-15K00301
[Journal Article] Determining Semantic Textual Similarity using Natural Deduction Proofs2017
- Author(s)
  Hitomi Yanaka, Koji Mineshima, Pascual Martinez-Gomez and Daisuke Bekki
- Journal Title
  
  Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing
  
  Volume: 2017 Pages: 681-691
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] On-demand Injection of Lexical Knowledge for Recognising Textual Entailment2017
- Author(s)
  Martinez-Gomez, Koji Mineshima, Yusuke Miyao, and Daisuke Bekki
- Journal Title
  
  Proceedings of European Chapter of the Association for Computational Linguistics
  
  Volume: 2017 Pages: 710-720
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] Factivity and Presupposition in Dependent Type Semantics.2017
- Author(s)
  Ribeka Tanaka, Koji Mineshima and Daisuke Bekki.
- Journal Title
  
  Journal of Language Modelling.
  
  Volume: 近刊
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26284005
[Journal Article] Visual Denotations for Recognizing Textual Entailment2017
- Author(s)
  Dan Han, Pascual Martinez-Gomez and Koji Mineshima
- Journal Title
  
  Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing
  
  Volume: 2017 Pages: 2843-2849
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K13316
[Journal Article] Factivity and Presupposition in Dependent Type Semantics2017
- Author(s)
  Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  Journal of Language Modelling
  
  Volume: Vol.5 Pages: 385-420
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H02265
[Journal Article] On the interpretation of dependent plural anaphora in a dependently-typed setting2016
- Author(s)
  Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki
- Journal Title
  
  Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13)
  
  Volume: 13 Pages: 86-99
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] Human reasoning with proportional quantifiers and its support by diagrams.Diagrammatic Representation and Inference,2016
- Author(s)
  Yuri Sato and Koji Mineshima.
- Journal Title
  
  Lecture Notes in Computer Science,(Springer-Verlag)
  
  Volume: 9781 Pages: 123-138
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26284005
[Journal Article] Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts2016
- Author(s)
  Kimi Kaneko, Saku Sugawara, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  Proceedings of the 12th Workshop on Asian Language Resources (ALR12)
  
  Volume: 12 Pages: 10-19
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] ccg2lambda: a compositional semantics system2016
- Author(s)
  Pascual Martinez-Gomez, Koji Mineshima, Yusuke Miyao, and Daisuke Bekki
- Journal Title
  
  Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (ACL2016), System Demonstrations
  
  Volume: 1 Pages: 85-90
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser2016
- Author(s)
  Koji Mineshima, Ribeka Tanaka, Pascual Martinez-Gomez, Yusuke Miyao, and Daisuke Bekki
- Journal Title
  
  Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016)
  
  Volume: 1 Pages: 2236-2242
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] An analysis of selectional restrictions with Dependent Type Semantics2016
- Author(s)
  Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki
- Journal Title
  
  Proceedings of the 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13)
  
  Volume: 13 Pages: 100-113
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] Human reasoning with proportional quantifiers and its support by diagrams2016
- Author(s)
  Yuri Sato and Koji Mineshima
- Journal Title
  
  Diagrammatic Representation and Inference, Lecture Notes in Computer Science
  
  Volume: 9781 Pages: 123-138
- DOI
  10.1007/978-3-319-42333-3_10
- ISBN
  9783319423326, 9783319423333
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] Resolving Modal Anaphora in Dependent Type Semantics2015
- Author(s)
  Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  New Frontiers in Artificial Intelligence (JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers), Lecture Notes in Artificial Intelligence
  
  Volume: 9067 Pages: 83-98
- DOI
  10.1007/978-3-662-48119-6_7
- ISBN
  9783662481189, 9783662481196
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] How diagrams can support syllogistic reasoning: an experimental study2015
- Author(s)
  Yuri Sato and Koji Mineshima
- Journal Title
  
  Journal of Logic, Language and Information
  
  Volume: 24 Issue: 4 Pages: 409-455
- DOI
  10.1007/s10849-015-9225-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26770009, KAKENHI-PROJECT-15H02716, KAKENHI-PROJECT-13J02291, KAKENHI-PROJECT-26284005
[Journal Article] Higher-order Logical Inference with Compositional Semantics2015
- Author(s)
  Koji Mineshima, Pascual Martinez-Gomez, Yusuke Miyao and Daisuke Bekki
- Journal Title
  
  Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP2015)
  
  Volume: 2015 Pages: 2055-2061
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese2015
- Author(s)
  Ai Kawazoe, Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  Proceedings of the Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12)
  
  Volume: 12 Pages: 67-73
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics2015
- Author(s)
  Ayako Nakamura, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  Proceedings of the FOfAI session of the Joint Ontology Workshops (JOWO), CEUR Workshop Proceedings
  
  Volume: 1517 Pages: 1-6
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26770009
[Journal Article] Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.2014
- Author(s)
  Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada.
- Journal Title
  
  Journal of Visual Languages and Computing, accepted
  
  Volume: 25 Issue: 3 Pages: 156-169
- DOI
  10.1016/j.jvlc.2013.08.007
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PLANNED-23120002, KAKENHI-PROJECT-23300101, KAKENHI-PROJECT-24720016, KAKENHI-PROJECT-26284005, KAKENHI-PROJECT-26770009
[Journal Article] Resolving modal anaphora in dependent type semantics2014
- Author(s)
  Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Journal Title
  
  Proceedings of the Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11)
  
  Volume: 11 Pages: 43-56
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Expressing Disagreement and Concession2024
- Author(s)
  Koji Mineshima
- Organizer
  IHPST French-Japanese Colloquium, Disagreement in Logic and Reasoning
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Is Reasoning Without Logic Viable? An Evaluation of Large Language Models using the NeuBAROCO dataset2024
- Author(s)
  Koji Mineshima
- Organizer
  IHPST Seminar
- Invited
- Data Source
  KAKENHI-PROJECT-21K00016
[Presentation] Is Reasoning Without Logic Viable? An Evaluation of Large Language Models using the NeuBAROCO dataset2024
- Author(s)
  Koji Mineshima
- Organizer
  IHPST Seminar
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] 多言語に対応した汎用的な構成的意味論の計算フレームワークの構築2023
- Author(s)
  峯島宏次、窪田悠介、宮尾祐介、窪田愛、船蔵颯
- Organizer
  日本言語学会第166回大会
- Invited
- Data Source
  KAKENHI-PROJECT-21K00016
[Presentation] 逆接の推論関係に着目した日本語談話関係アノテーション2023
- Author(s)
  窪田愛, 佐藤拓真, 天本貴之, 秋吉亮太, 峯島宏次
- Organizer
  言語処理学会第29回年次大会発表論文集
- Data Source
  KAKENHI-PROJECT-23K20416
[Presentation] Introduction to Logical Disagreement studies2023
- Author(s)
  Koji Mineshima and Mitsuhiro Okada
- Organizer
  TVドラマシリーズの哲学・倫理学」と「論理とリーズニングにおける不一致」に関する日仏ワークショップ
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] 言葉の意味をどのように説明するか―形式意味論と分布意味論を比較する観点から―2023
- Author(s)
  峯島宏次
- Organizer
  日本語文法学会第24回大会
- Invited
- Data Source
  KAKENHI-PROJECT-21K00016
[Presentation] Introducing Disagreement,Communication and Mutual Understanding2023
- Author(s)
  Mitsuhiro Okada and Koji Mineshima
- Organizer
  第２８回国際哲学人文学会議（CHIPSH）国際会議
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] 比較文の意味解析のための「深い」係り受け関係の解析2023
- Author(s)
  窪田悠介, 林則序, 天本貴之, 峯島宏次
- Organizer
  言語処理学会第29回年次大会
- Data Source
  KAKENHI-PROJECT-21K00541
[Presentation] 含意関係と感情極性は対立的談話関係を捉えられるか2023
- Author(s)
  佐藤拓真, 窪田愛, 峯島宏次
- Organizer
  言語処理学会第29回年次大会
- Data Source
  KAKENHI-PROJECT-21K00016
[Presentation] 逆接の推論関係に着目した日本語談話関係アノテーション2023
- Author(s)
  窪田愛, 佐藤拓真, 天本貴之, 秋吉亮太, 峯島宏次
- Organizer
  言語処理学会第29回年次大会
- Data Source
  KAKENHI-PROJECT-21K00016
[Presentation] 論理とリーズニングにおける「不一致」2022
- Author(s)
  峯島宏次, 岡田光弘
- Organizer
  日本科学哲学会第55回(2022年度)大会
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Evaluating Compositionality in Japanese Textual Entailment2022
- Author(s)
  Koji Mineshima
- Organizer
  Workshop on Computational Linguistics on East Asian Languages, 29th International Conference on Head-Driven Phrase Structure Grammar (HPSG2022)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20416
[Presentation] 「論理とリーズニングにおける不一致」プロジェクトレポート2022
- Author(s)
  峯島宏次, 岡田光弘
- Organizer
  UNESCO 世界論理デー記念ワークショップ
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Evaluating Compositionality in Japanese Textual Entailment2022
- Author(s)
  Koji Mineshima
- Organizer
  Workshop on Computational Linguistics on East Asian Languages, 29th International Conference on Head-Driven Phrase Structure Grammar (HPSG2022)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K00016
[Presentation] Natural Language Inference: A View from Logic and Formal Semantics2021
- Author(s)
  Koji Mineshima
- Organizer
  ILFC Seminar: interactions between formal and computational linguistics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K00016
[Presentation] ABCツリーバンク：学際的な言語研究のための基盤資源2021
- Author(s)
  窪田悠介, 峯島宏次, 林則序, 岡野伸哉
- Organizer
  言語処理学会第27回年次大会
- Data Source
  KAKENHI-PROJECT-18K00523
[Presentation] Natural Language Inference: A View from Logic and Formal Semantics2021
- Author(s)
  Koji Mineshima
- Organizer
  ILFC Seminar: interactions between formal and computational linguistics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19KK0006
[Presentation] Beyond the conceptual-procedural distinction2021
- Author(s)
  Yuji Nishiyama and Koji Mineshima
- Organizer
  The 17th International Pragmatics Conference (IPrA2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K00016
[Presentation] Natural Language Inference: A View from Logic and Formal Semantics2021
- Author(s)
  Koji Mineshima
- Organizer
  ILFC Seminar: interactions between formal and computational linguistics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20416
[Presentation] 真理条件・表意・コミュニケーション2019
- Author(s)
  峯島宏次
- Organizer
  「ことばの意味」をあらためて考える：真理条件的意味論を越えて,
- Invited
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] 汎用的な範疇文法ツリーバンクの構築2019
- Author(s)
  窪田悠介、峯島宏次、林則序、岡野伸哉
- Organizer
  言語処理学会第25回年次大会
- Data Source
  KAKENHI-PROJECT-18K00523
[Presentation] 前提投射の統語コーパスでの検索2019
- Author(s)
  窪田悠介, 峯島宏次
- Organizer
  関西言語学会第44回大会シンポジウム「高度文法情報付きコーパスとその日本語研究への応用」
- Data Source
  KAKENHI-PROJECT-18K00523
[Presentation] 真理条件・表意・コミュニケーション2019
- Author(s)
  峯島宏次
- Organizer
  シンポジウム「ことばの意味」をあらためて考える真理条件的意味論を越えて
- Invited
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] 日本語の形式意味論2019
- Author(s)
  峯島宏次
- Organizer
  言語・論理・知識：飯田隆先生・丹治信春先生古希記念ワークショップ
- Invited
- Data Source
  KAKENHI-PROJECT-17H02265
[Presentation] 日本語の形式意味論2019
- Author(s)
  峯島宏次
- Organizer
  言語・論理・知識：飯田隆先生・丹治信春先生古希記念ワークショップ
- Invited
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference2019
- Author(s)
  Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, and Daisuke Bekki
- Organizer
  The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] 前提投射の実例のツリーバンクによる検索2018
- Author(s)
  窪田悠介、峯島宏次
- Organizer
  日本言語学会第157回大会
- Data Source
  KAKENHI-PROJECT-18K00523
[Presentation] 前提投射の実例のツリーバンクによる検索2018
- Author(s)
  窪田悠介・峯島宏次
- Organizer
  日本言語学会第157回大会,
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] Computational Semantics in the Era of Bigdata2018
- Author(s)
  Koji Mineshima
- Organizer
  TGSW2018 DASIC (Data Science in Collaboration on Language)
- Invited
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] The Challenge of Composition in Distributional and Formal Semantics2017
- Author(s)
  Ran Tian, Koji Mineshima and Pascual Martinez-Gomez
- Organizer
  The 8th International Joint Conference on Natural Language Processing (IJCNLP 2017) Tutorial
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] Explicature and the predication/specification distinction2017
- Author(s)
  Yuji Nishiyama and Koji Mineshima
- Organizer
  The 15th International Pragmatics Conference (IPrA2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] Diagrams, proofs, and natural reasoning with 'most'2017
- Author(s)
  Koji Mineshima
- Organizer
  Workshop “Philosophy of logic and Mathematics: Towards Philosophy of Proofs”
- Place of Presentation
  Keio University, Tokyo, Japan
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Factivity and Presupposition in Dependent Type Semantics2017
- Author(s)
  Koji Mineshima
- Organizer
  Forum for theoretical linguistics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] On diagrammatic logic for “most”2017
- Author(s)
  Koji Mineshima
- Organizer
  Philosophy of Proofs
- Place of Presentation
  Keio University （東京都港区）
- Year and Date
  2017-01-12
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Coercion as Proof Search in Dependent Type Semantics2017
- Author(s)
  Eriko Kinoshita, Koji Mineshima and Daisuke Bekki
- Organizer
  Workshop on Approaches to Coercion and Polysemy (CoPo 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] Indirect Answers to QUD2017
- Author(s)
  Yurina Ito, Koji Mineshima and Daisuke Bekki
- Organizer
  Integrating Approaches to Social Meaning (IASM) workshop
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K13316
[Presentation] How ccg2lambda solves FraCaS/JSeM2016
- Author(s)
  Koji Mineshima
- Organizer
  Unshared Task at LENLS 13: Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites
- Place of Presentation
  National Institute for Japanese Language and Linguis- tics, Tachikawa, Tokyo
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] On the interpretation of dependent plural anaphora in a dependently-typed setting2016
- Author(s)
  Ribeka Tanaka, Koji Mineshima, and Daisuke Bekki
- Organizer
  The 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13)
- Place of Presentation
  Keio University, Kanagawa, Japan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] An analysis of selectional restrictions with Dependent Type Semantics2016
- Author(s)
  Eriko Kinoshita, Koji Mineshima, and Daisuke Bekki
- Organizer
  The 13th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS13)
- Place of Presentation
  Keio University, Kanagawa, Japan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Combining a Type-logical Semantics and a Wide-coverage Statistical Parser2016
- Author(s)
  Koji Mineshima
- Organizer
  French-Japanese Workshop on Philosophy of Proofs
- Place of Presentation
  Keio University, Japan
- Year and Date
  2016-01-15
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser2016
- Author(s)
  Koji Mineshima, Ribeka Tanaka, Pascual Martinez-Gomez, Yusuke Miyao, and Daisuke Bekki
- Organizer
  The 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP2016)
- Place of Presentation
  Austin, Texas, USA
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Towards a proof-theoretic natural language semantics for wide-coverage grammars2016
- Author(s)
  Koji Mineshima
- Organizer
  New Landscapes in Theoretical Computational Linguistics
- Place of Presentation
  Ohio State University
- Year and Date
  2016-10-14
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] 依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析にむけて2016
- Author(s)
  木下恵梨子、中村絢子、峯島宏次、戸次大介
- Organizer
  言語処理学会第22回年次大会
- Place of Presentation
  東北大学川内北キャンパス
- Year and Date
  2016-03-08
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts2016
- Author(s)
  Kimi Kaneko, Saku Sugawara, Koji Mineshima and Daisuke Bekki
- Organizer
  The 12th Workshop on Asian Language Resources (ALR12)
- Place of Presentation
  Osaka, Japan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Combining a type-logical semantics and a wide-coverage statistical parser2016
- Author(s)
  Koji Mineshima
- Organizer
  Ｆｒｅｎｃｈ－Ｊａｐａｎｅｓｅ　Ｗｏｒｋｓｈｏｐ　ｏｎ　Ｐｈｉｌｏｓｏｐｈｙ　ｏｆ　Ｐｒｏｏｆｓ
- Place of Presentation
  慶應義塾大学　（東京都港区）
- Year and Date
  2016-01-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] 機能語の意味を表現する推論テストセットーJSeMとりたて助詞テストの構築ー2016
- Author(s)
  川添愛、田中リベカ、峯島宏次、戸次大介
- Organizer
  言語処理学会第22回年次大会
- Place of Presentation
  東北大学川内北キャンパス
- Year and Date
  2016-03-10
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] 日本語CCGパーザに基づく意味解析・推論システムの提案2016
- Author(s)
  田中リベカ、峯島宏次、 Pascual Martinez-Gomez、宮尾祐介、戸次大介
- Organizer
  言語処理学会第22回年次大会
- Place of Presentation
  東北大学川内北キャンパス
- Year and Date
  2016-03-09
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Compositional Semantics and Higher-order Inference for Wide-coverage CCG Parsers2016
- Author(s)
  Koji Mineshima
- Organizer
  CREST 国際ワークショップ
- Place of Presentation
  エル・パーク仙台
- Year and Date
  2016-03-16
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Factivity and Presupposition in Dependent Type Semantics2015
- Author(s)
  Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Organizer
  TYpe Theory and LExical Semantics (TYTLES) in the 27th European Summer School in Logic, Language and Information (ESSLLI 2015)
- Place of Presentation
  Universitat Pompeu Fabra, Barcelona, Spain
- Year and Date
  2015-08-07
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Towards Modeling Natural Language Inferences with Formal Ontology and Lexical Semantics2015
- Author(s)
  Ayako Nakamura, Koji Mineshima and Daisuke Bekki
- Organizer
  The FOfAI session of the Joint Ontology Workshops (JOWO)
- Place of Presentation
  Facultad de Ciencias Economicas, Buenos Aires, Argentina
- Year and Date
  2015-07-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Higher-order logical inference with compositional semantics2015
- Author(s)
  Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao and Daisuke Bekki
- Organizer
  Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), September 17-21, 2015, Lisbon, Portugal. pp. 2055-2061.
- Place of Presentation
  Ｃｕｌｔｇｕｅｓｔ，　Ｌｉｓｂｏｎ，Ｐｏｒｔｇａｌ
- Year and Date
  2015-09-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26284005
[Presentation] Higher-order Logical Inference with Compositional Semantics2015
- Author(s)
  Koji Mineshima
- Organizer
  CREST international workshop on Formal and Computational Semantics
- Place of Presentation
  Kyoto University, Japan
- Year and Date
  2015-11-15
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] 照応と前提のいくつかの理論: 動的意味論・談話表示理論・依存型理論の比較2015
- Author(s)
  峯島宏次
- Organizer
  第13回ICRセミナー: 動的意味論の最前線
- Place of Presentation
  筑波大学東京キャンパス
- Year and Date
  2015-03-13
- Invited
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Higher-order Logical Inference with Compositional Semantics2015
- Author(s)
  Koji Mineshima, Pascual Martinez-Gomez, Yusuke Miyao and Daisuke Bekki
- Organizer
  Conference on Empirical Methods in Natural Language Processing (EMNLP2015)
- Place of Presentation
  Culturgest, Lisbon, Portugal
- Year and Date
  2015-09-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Evaluating Semantic Theories and Semantic Processing Systems for Japanese2015
- Author(s)
  Ai Kawazoe, Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Organizer
  The Twelfth International Workshop on Logic and Engineering of Natural Language Semantics (LENLS12), JSAI International Symposia on AI 2015
- Place of Presentation
  Hiyoshi Campus, Keio University, Yokohama
- Year and Date
  2015-11-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] オントロジーを用いた型理論的な語彙意味論の試み2015
- Author(s)
  中村絢子、峯島宏次、戸次大介
- Organizer
  第29回人工知能学会全国大会
- Place of Presentation
  公立はこだて未来大学
- Year and Date
  2015-05-31
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] 形式意味論に基づく含意関係テストセット構築の方法論2015
- Author(s)
  川添愛、田中リベカ、峯島宏次、戸次大介
- Organizer
  第29回人工知能学会全国大会
- Place of Presentation
  公立はこだて未来大学
- Year and Date
  2015-05-30
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] 依存型意味論における叙実動詞の意味記述の試み2015
- Author(s)
  田中リベカ、峯島宏次、戸次大介
- Organizer
  第29回人工知能学会全国大会
- Place of Presentation
  公立はこだて未来大学
- Year and Date
  2015-05-30
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] A Framework for Constructing Multilingual Inference Problem2015
- Author(s)
  Ai Kawazoe, Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Organizer
  1st International Workshop on the Use of Multilingual Language Resources in Knowledge Representation Systems (MLKRep2015)
- Place of Presentation
  University of Vienna, Austria
- Year and Date
  2015-07-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Epsilon Calculus as Presupposition Theory2015
- Author(s)
  Koji Mineshima
- Organizer
  Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- Place of Presentation
  Montpellier University, France
- Year and Date
  2015-06-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Computational Model of Natural Language Semantics based on Dependent Type Theory2014
- Author(s)
  Koji Mineshima
- Organizer
  CREST "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" International Workshop
- Place of Presentation
  京都大学
- Year and Date
  2014-12-05
- Invited
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Presupposition and Dependent Types2014
- Author(s)
  Koji Mineshima
- Organizer
  CREST international workshop on Formal and Computational Semantics
- Place of Presentation
  京都大学
- Year and Date
  2014-11-28
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Resolving modal anaphora in dependent type semantics
- Author(s)
  Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
- Organizer
  The Eleventh International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11)
- Place of Presentation
  Keio University
- Year and Date
  2014-11-22 – 2014-11-24
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] Types in Natural Language Semantics
- Author(s)
  Koji Mineshima
- Organizer
  "Logical Inference and Proofs" Franco-Japanese Workshop
- Place of Presentation
  慶應義塾大学
- Year and Date
  2015-01-12 – 2015-01-13
- Invited
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] オントロジーを用いた自然言語の推論に向けて
- Author(s)
  中村絢子, 峯島宏次, 戸次大介
- Organizer
  言語処理学会第21回年次大会 (NLP2015)
- Place of Presentation
  京都大学
- Year and Date
  2015-03-16 – 2015-03-21
- Data Source
  KAKENHI-PROJECT-26770009
[Presentation] 日本語意味論テストセットの構築
- Author(s)
  川添愛, 田中リベカ, 峯島宏次, 戸次大介
- Organizer
  言語処理学会第21回年次大会 (NLP2015)
- Place of Presentation
  京都大学
- Year and Date
  2015-03-16 – 2015-03-21
- Data Source
  KAKENHI-PROJECT-26770009

1. Okada Mitsuhiro (30224025)

# of Collaborated Projects: 4 results

# of Collaborated Products: 6 results
2. Kubota Yusuke (60745149)

# of Collaborated Projects: 2 results

# of Collaborated Products: 10 results
3. 金子洋之 (60191988)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. 秋吉亮太 (20587852)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. 伊藤遼 (70853422)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. 岡本賢吾 (00224072)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 五十嵐涼介 (40853205)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 細川雄一郎 (60853190)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 吉川将司 (80883470)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 佐藤有理 (90750480)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
11. 松阪陽一 (50244398)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 藤川直也 (40749412)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 大塚淳 (60743705)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. BEKKI Daisuke

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results
15. 谷中瞳

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Mineshima Koji 峯島 宏次

Research Projects

Research Products

Co-Researchers

Interdisciplinary research on reasoning based on a unified perspective of logic and deep learningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Rebuilding Semantic Studies: Toward a New Science of Meaning

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

証明論と型理論に基づく自然言語の形式意味論の新しい枠組みPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of a Hybrid CG Parser

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Interdisciplinary study of philosophy towards development of philosophy of proof and demonstratin

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Study on "Disagreement" in logic

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of a multi-purpose categorial grammar treebank

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

"Philosophy of Proofs" - Towards New Developments of Philosophy of Logic and Mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Interdisciplinary study on logic, with a special focus on intuitionistic logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

An integrated study of natural language inference and diagrammatic inference using logical methodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Modern Perspectives in Type Theoretical Semantics2017

Author(s)

Total Pages

Publisher

Data Source

[Book] Context-Passing and Underspecification in Dependent Type Semantics. In S. Chatzikyriakidis and Z. Luo (eds.), Modern Perspectives in Type Theoretical Semantics, Studies of Linguistics and Philosophy,2017

Author(s)

Total Pages

Publisher

Data Source

Mineshima Koji 峯島宏次