基于逻辑与深度学习综合视角的推理跨学科研究-猫眼课题宝

基于逻辑与深度学习综合视角的推理跨学科研究

批准号：

24K00004

负责人：

峯島宏次

金额：

$10.9万

依托单位：

Keio University

依托单位国家：

日本

项目类别：

Grant-in-Aid for Scientific Research (B)

财政年份：

2024

资助国家：

日本

项目状态：

未结题

起止时间：

2024-04-01 至 2028-03-31

来源：

https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-24K00004/

关键词：

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

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

批准号：

21K00016
项目类别：

Grant-in-Aid for Scientific Research (C)
资助金额：

$2.66万
财政年份：

2021
负责人：

峯島宏次
依托单位：

Keio University

証明論的意味論に基づく自然言語における主張と前提の統合的分析

批准号：

08J07798
项目类别：

Grant-in-Aid for JSPS Fellows
资助金额：

$1.34万
财政年份：

2008
负责人：

峯島宏次
依托单位：

Keio University

形式意味論的アプローチに基づく自然言語の解明およびその概念的・方法論的基礎の検討

批准号：

04J07530
项目类别：

Grant-in-Aid for JSPS Fellows
资助金额：

$1.22万
财政年份：

2004
负责人：

峯島宏次
依托单位：

Keio University