共同研究・競争的資金等の研究課題
峯島 宏次
1~3件（全3件）
2024.04 - 2028.03
論理と深層学習の統合的視点に基づくリーズニングの学際的研究
- 担当区分
- 研究代表者
- 研究者
- 峯島 宏次
- 研究種目
- 基盤研究(B)
- 研究費種別
- 補助金
2017.04 - 2022.03
証明論と図形論理の手法に基づく自然言語推論の統合的分析
- 提供機関
- 文部科学省・日本学術振興会
- 制度名
- 科学研究費助成事業
- 研究機関
- 文部科学省・日本学術振興会
- 担当区分
- 研究代表者
- 研究種目
- 若手研究(B)
- 研究費種別
- 補助金
2021.04 - 2024.03
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
- 提供機関
- 文部科学省・日本学術振興会
- 制度名
- 科学研究費助成事業
- 研究機関
- 文部科学省・日本学術振興会
- 担当区分
- 研究代表者
- 研究者
- 峯島 宏次
- 研究種目
- 基盤研究(C)
- 研究費種別
- 補助金