An integrated study of natural language inference and diagrammatic inference using logical methods
使用逻辑方法进行自然语言推理和图解推理的综合研究
基本信息
- 批准号:26770009
- 负责人:
- 金额:$ 2.5万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Young Scientists (B)
- 财政年份:2014
- 资助国家:日本
- 起止时间:2014-04-01 至 2017-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
オントロジーを用いた型理論的な語彙意味論の試み
使用本体论的类型理论词汇语义学的尝试
- DOI:
- 发表时间:2015
- 期刊:
- 影响因子:0
- 作者:Nakamura;Ayako. Mineshima;Koji. Bekki;Daisuke.;中村絢子. 峯島宏次. 戸次大介.
- 通讯作者:中村絢子. 峯島宏次. 戸次大介.
機能語の意味を表現する推論テストセット ーJSeMとりたて助詞テストの構築ー
表达虚词含义的推理测试集 - JSeM 粒子测试的构建 -
- DOI:
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:川添愛;田中リベカ;峯島宏次; 戸次大介
- 通讯作者:戸次大介
How ccg2lambda solves FraCaS/JSeM
ccg2lambda 如何解决 FraCaS/JSeM
- DOI:
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:Kimi Kaneko;Saku Sugawara;Koji Mineshima and Daisuke Bekki;Koji Mineshima
- 通讯作者:Koji Mineshima
Epsilon Calculus as Presupposition Theory
作为预设理论的 Epsilon 演算
- DOI:
- 发表时间:2015
- 期刊:
- 影响因子:0
- 作者:Ai Kawazoe;Ribeka Tanaka;Koji Mineshima and Daisuke Bekki;Koji Mineshima
- 通讯作者:Koji Mineshima
{{
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 }}
Mineshima Koji其他文献
Memory-two strategies forming symmetric mutual reinforcement learning equilibrium in repeated prisoners’ dilemma game
重复囚徒困境博弈中记忆-两种策略形成对称互强化学习均衡
- DOI:
10.1016/j.amc.2022.127819 - 发表时间:
2023 - 期刊:
- 影响因子:4
- 作者:
Yanaka Hitomi;Mineshima Koji;Inui Kentaro;Masashi Tsubaki and Teruyasu Mizoguchi;Haoran Xie;Ueda Masahiko - 通讯作者:
Ueda Masahiko
王座とブラフマン神
王位与婆罗门
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Watanabe Kazuki;Mineshima Koji;Bekki Daisuke;稲場圭信;藤井 正人 - 通讯作者:
藤井 正人
【対談】江戸に学ぶサステナブルな都市のあり方
[对话]从江户了解可持续城市
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Watanabe Kazuki;Mineshima Koji;Bekki Daisuke;稲場圭信;藤井 正人;松村一男;岡本賢吾;Enrico Fongaro;アズビー・ブラウン/板東洋介 - 通讯作者:
アズビー・ブラウン/板東洋介
Fairness, Integrity and Transparency of Formal Systems: Challenges for a Society Increasingly Dominated by Technology
正式系统的公平、诚信和透明:技术日益主导的社会面临的挑战
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Suzuki Riko;Yanaka Hitomi;Yoshikawa Masashi;Mineshima Koji;Bekki Daisuke;Katsuhiko Sano;Benedikt Loewe・岡田光弘 - 通讯作者:
Benedikt Loewe・岡田光弘
浜通りにおけるいわき市の位置づけと震災被害
磐城市对滨通和地震灾害的立场
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Sato Yuri;Mineshima Koji;Kazunobu Matsuda;手嶋英貴;佐々木雄大;川副早央里・星野壮 - 通讯作者:
川副早央里・星野壮
Mineshima Koji的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Mineshima Koji', 18)}}的其他基金
A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logic
基于证明论和图解逻辑方法的自然语言推理统一分析
- 批准号:
17K13316 - 财政年份:2017
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
相似海外基金
非古典論理の導入による形式意味論の一階述語論理化
通过引入非经典逻辑将形式语义转换为一阶谓词逻辑
- 批准号:
24KJ0952 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for JSPS Fellows
形式意味論における合成性原理の包括的研究:メタ意味論としての言語哲学
形式语义学中组合原则的综合研究:作为元语义学的语言哲学
- 批准号:
22KJ0734 - 财政年份:2023
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for JSPS Fellows
束縛的意味を表す日本語の法助動詞相当表現に関する形式意味論的研究
表达约束意义的日语情态动词等价表达的形式语义研究
- 批准号:
22K13117 - 财政年份:2022
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
証明論と型理論に基づく自然言語の形式意味論の新しい枠組み
基于证明论和类型论的自然语言形式语义新框架
- 批准号:
21K00016 - 财政年份:2021
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
カートグラフィーと形式意味論の統合的研究:ドイツ語と日本語を対象に
地图学和形式语义学的综合研究:针对德语和日语
- 批准号:
20J00795 - 财政年份:2020
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for JSPS Fellows
形式意味論と言語処理の融合による構成的言語モデルの開発
结合形式语义和语言处理开发组合语言模型
- 批准号:
20K19868 - 财政年份:2020
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
命題態度動詞の「補部」の形式意味論研究:時制・相・法の観点から
命题态度动词“补语”的形式语义研究——时态、体体、规律的视角
- 批准号:
19K00617 - 财政年份:2019
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
形式意味論的アプローチに基づく自然言語の解明およびその概念的・方法論的基礎の検討
基于形式语义方法的自然语言阐释及其概念和方法基础的检验
- 批准号:
04J07530 - 财政年份:2004
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for JSPS Fellows
文文法と談話解釈の接点としての文主題の形式意味論的研究
作为句子语法和篇章解释之间联系点的句子主题的形式语义研究
- 批准号:
11710261 - 财政年份:1999
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
ファジィ形式意味論の研究-文献検索システムにおける自然言語インタフェイスの基礎-
模糊形式语义研究-文献检索系统自然语言界面基础-
- 批准号:
01780059 - 财政年份:1989
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)