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)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

戸次 大介其他文献

Typed dynamic logic for compositional grammar
组合语法的类型化动态逻辑
  • DOI:
  • 发表时间:
    2000
  • 期刊:
  • 影响因子:
    0
  • 作者:
    戸次 大介
  • 通讯作者:
    戸次 大介
依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析に向けて
使用依赖语义和本体论分析逻辑歧义和合并现象
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Eriko Kinoshita; Koji Mineshima; Bekki;Daisuke;;有田隆也;戸次 大介;Eriko Kinoshita, Koji Mineshima, Daisuke Bekki;伊藤 友里菜, 簗 有紀子, 戸次 大介;Daisuke Bekki;Yukiko Yana, Daisuke Bekki, Koji Mineshima;Yurina Ito, Koji Mineshima, Daisuke Bekki;戸次 大介, 峯島 宏次, 金子 貴美, 田中 リベカ, 谷中 瞳, 木下 恵梨子, 伊藤 友里菜, 簗 有紀子;木下恵理子; 峯島宏次; 戸次大介;;木下恵梨子. 中村絢子. 戸次大介.
  • 通讯作者:
    木下恵梨子. 中村絢子. 戸次大介.
Towards Recognizing Textual Entailment of Numerical Expressions in Real Text
识别真实文本中数字表达式的文本蕴涵
  • DOI:
    10.11517/pjsai.jsai2021.0_4j2gs6e02
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小谷野 華那;鈴木 莉子;春田 和泉;谷中 瞳;戸次 大介
  • 通讯作者:
    戸次 大介
連綿句読法―書記システムの記述方法をめぐって―
连续标点:关于书写系统描述方法
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    金子 貴美;戸次 大介;宮尾 祐介;山田健三
  • 通讯作者:
    山田健三
いろは手本考:上杉本『伊呂波盡』をめぐって
对伊吕波手稿的思考:关于上杉的书《伊吕滨》
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    金子 貴美;戸次 大介;宮尾 祐介;山田健三;山田健三;山田健三;山田健三;山田健三
  • 通讯作者:
    山田健三

戸次 大介的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('戸次 大介', 18)}}的其他基金

依存型意味論による自然言語の意味の研究とその自動検証
基于依赖语义的自然语言意义及其自动验证研究
  • 批准号:
    23K28142
  • 财政年份:
    2024
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
単一化文法に基づいた日本語の統語・意味・文脈的制約の統合的記述とその処理機構
基于统一语法的日语句法、语义、语境约束综合描述及其处理机制
  • 批准号:
    97J07685
  • 财政年份:
    1998
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows

相似海外基金

非古典論理の導入による形式意味論の一階述語論理化
通过引入非经典逻辑将形式语义转换为一阶谓词逻辑
  • 批准号:
    24KJ0952
  • 财政年份:
    2024
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
形式意味論における合成性原理の包括的研究:メタ意味論としての言語哲学
形式语义学中组合原则的综合研究:作为元语义学的语言哲学
  • 批准号:
    22KJ0734
  • 财政年份:
    2023
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
束縛的意味を表す日本語の法助動詞相当表現に関する形式意味論的研究
表达约束意义的日语情态动词等价表达的形式语义研究
  • 批准号:
    22K13117
  • 财政年份:
    2022
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
基于证明论和类型论的自然语言形式语义新框架
  • 批准号:
    21K00016
  • 财政年份:
    2021
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
カートグラフィーと形式意味論の統合的研究:ドイツ語と日本語を対象に
地图学和形式语义学的综合研究:针对德语和日语
  • 批准号:
    20J00795
  • 财政年份:
    2020
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
形式意味論と言語処理の融合による構成的言語モデルの開発
结合形式语义和语言处理开发组合语言模型
  • 批准号:
    20K19868
  • 财政年份:
    2020
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
命題態度動詞の「補部」の形式意味論研究:時制・相・法の観点から
命题态度动词“补语”的形式语义研究——时态、体体、规律的视角
  • 批准号:
    19K00617
  • 财政年份:
    2019
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
形式意味論的アプローチに基づく自然言語の解明およびその概念的・方法論的基礎の検討
基于形式语义方法的自然语言阐释及其概念和方法基础的检验
  • 批准号:
    04J07530
  • 财政年份:
    2004
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
文文法と談話解釈の接点としての文主題の形式意味論的研究
作为句子语法和篇章解释之间联系点的句子主题的形式语义研究
  • 批准号:
    11710261
  • 财政年份:
    1999
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
ファジィ形式意味論の研究-文献検索システムにおける自然言語インタフェイスの基礎-
模糊形式语义研究-文献检索系统自然语言界面基础-
  • 批准号:
    01780059
  • 财政年份:
    1989
  • 资助金额:
    $ 11.9万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了