- 2024 - 2028 論理と深層学習の統合的視点に基づくリーズニングの学際的研究
- 2023 - 2028 意味研究の再構築: 新たな意味の科学へ向けて
- 2021 - 2026 論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
- 2021 - 2024 証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
- 2021 - 2024 ハイブリッドCGパーザの開発
- 2019 - 2024 論理的「不一致」の解明
- 2017 - 2022 「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
- 2018 - 2021 汎用的な範疇文法ツリーバンクの構築
- 2017 - 2020 証明論と図形論理の手法に基づく自然言語推論の統合的分析
- 2014 - 2017 直観主義論理を中心とした学際的論理哲学研究
- 2014 - 2017 論理学的手法を用いた自然言語推論と図形推論の統合的研究
- 2008 - 2010 証明論的意味論に基づく自然言語における主張と前提の統合的分析
- 2004 - 2005 形式意味論的アプローチに基づく自然言語の解明およびその概念的・方法論的基礎の検討
全件表示