The theory of meaning via dependent type semantics and its automatic verification
The theory of meaning via dependent type semantics and its automatic verification
基于依赖类型语义的意义理论及其自动验证
批准号：
23H03452
负责人：
戸次 大介
金额：
$11.9万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2023
资助国家：
日本
项目状态：
未结题
起止时间：
2023-04-01 至 2028-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
依存型意味論による自然言語の意味の研究とその自動検証
-
批准号：23K28142
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$9.32万
-
财政年份：2024
-
负责人：戸次 大介
-
依托单位：
単一化文法に基づいた日本語の統語・意味・文脈的制約の統合的記述とその処理機構
-
批准号：97J07685
-
项目类别：Grant-in-Aid for JSPS Fellows
-
资助金额：$1.15万
-
财政年份：1998
-
负责人：戸次 大介
-
依托单位：
海外基金
