Research projects
Mineshima, Koji
1-3 items (total 3)
2024.04 - 2028.03
Interdisciplinary research on reasoning based on a unified perspective of logic and deep learning
- Role
- Principal investigator
- Researcher
- 峯島 宏次
- Research Category
- 基盤研究(B)
- Research Funding Type
- Research grant
2017.04 - 2022.03
証明論と図形論理の手法に基づく自然言語推論の統合的分析
- Providing Institution
- MEXT,JSPS
- Program Name
- Grant-in-Aid for Scientific Research
- Research Institution
- MEXT,JSPS
- Role
- Principal investigator
- Research Category
- Grant-in-Aid for Early-Career Scientists
- Research Funding Type
- Research grant
2021.04 - 2024.03
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
- Providing Institution
- MEXT,JSPS
- Program Name
- Grant-in-Aid for Scientific Research
- Research Institution
- MEXT,JSPS
- Role
- Principal investigator
- Researcher
- 峯島 宏次
- Research Category
- Grant-in-Aid for Scientific Research (C)
- Research Funding Type
- Research grant