Unified perspective for formal and lexical semantics based on type-theoretic semantics

基于类型论语义的形式语义和词汇语义的统一视角

基本信息

批准号：
15K00301
负责人：
Bekki Daisuke
金额：
$ 3.08万
依托单位：
Ochanomizu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
起止时间：
2015-04-01 至 2018-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops， LENLS， JURISIN， AAA， HAT-MASH， TSDAA， ASD-HR， and SKL， Kanagawa， Japan， November 16-18， 2015， Revised Selected Papers)

人工智能新前沿（JSAI-isAI 2015 研讨会，LENLS、JURISIN、AAA、HAT-MASH、TSDAA、ASD-HR 和 SKL，日本神奈川，2015 年 11 月 16-18 日，修订后的精选论文）

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Nakamura;Ayako. Mineshima;Koji. Bekki;Daisuke.;中村絢子. 峯島宏次. 戸次大介.;Mihoko Otake， Koji Mineshima， Daisuke Bekki
通讯作者：
Mihoko Otake， Koji Mineshima， Daisuke Bekki

依存型意味論とオントロジーを用いた論理的多義とコアーション現象の分析に向けて

使用依赖语义和本体论分析逻辑歧义和合并现象

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;戸次大介，峯島宏次，金子貴美，田中リベカ，谷中瞳，木下恵梨子，伊藤友里菜，簗有紀子;木下恵理子; 峯島宏次; 戸次大介;;木下恵梨子. 中村絢子. 戸次大介.
通讯作者：
木下恵梨子. 中村絢子. 戸次大介.

Coercion as Proof Search in Dependent Type Semantics

强制作为依赖类型语义中的证明搜索

DOI：
发表时间：
2017
期刊：
Proceedings of Workshop on Approaches to Coercion and Polysemy (CoPo 2017)， University of Oslo， Norway.
影响因子：
0
作者：
福田航;張潮;東海彰吾;Eriko Kinoshita， Koji Mineshima， Daisuke Bekki
通讯作者：
Eriko Kinoshita， Koji Mineshima， Daisuke Bekki

オントロジーを用いた型理論的な語彙意味論の試み

使用本体论的类型理论词汇语义学的尝试

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Nakamura;Ayako. Mineshima;Koji. Bekki;Daisuke.;中村絢子. 峯島宏次. 戸次大介.
通讯作者：
中村絢子. 峯島宏次. 戸次大介.

Context-Passing and Underspecification in Dependent Type Semantics

依赖类型语义中的上下文传递和不规范

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Nakamura;Ayako. Mineshima;Koji. Bekki;Daisuke.;中村絢子. 峯島宏次. 戸次大介.;Mihoko Otake， Koji Mineshima， Daisuke Bekki;Daisuke Bekki， Koji Mineshima
通讯作者：
Daisuke Bekki， Koji Mineshima

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Bekki Daisuke其他文献

鄒守益「会語」資料（龍華會語・惜陰申約・惜陰説）訳注 ――陽明門下の会語記録を読む　其の三――

邹淑仪《对话》素材（龙华怀悟、外音新作、外音节）翻译笔记——读阳明弟子的对话记录第三部分——

DOI：
发表时间：
2019
期刊：
白山中国学
影响因子：
0
作者：
Suzuki Riko;Yanaka Hitomi;Yoshikawa Masashi;Mineshima Koji;Bekki Daisuke;Katsuhiko Sano;Benedikt Loewe・岡田光弘;阿部恒之ほか;山田親義・河東仁;藤井　正人;高橋祥吾;賴住光子;下釜和也;吉田公平・早坂俊廣・鶴成久章・伊香賀隆・播本崇史
通讯作者：
吉田公平・早坂俊廣・鶴成久章・伊香賀隆・播本崇史

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：
发表时间：
2017
期刊：
Cel
影响因子：
0
作者：
Watanabe Kazuki;Mineshima Koji;Bekki Daisuke;稲場圭信;藤井　正人;松村一男;岡本賢吾;Enrico Fongaro;アズビー・ブラウン／板東洋介
通讯作者：
アズビー・ブラウン／板東洋介

王座とブラフマン神

王位与婆罗门

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Watanabe Kazuki;Mineshima Koji;Bekki Daisuke;稲場圭信;藤井　正人
通讯作者：
藤井　正人

Underspecification and interpretive parallelism in Dependent Type Semantics

依赖类型语义中的不规范和解释并行性

DOI：
10.18653/v1/w19-1001
发表时间：
2019
期刊：
Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures
影响因子：
0
作者：
Kubota Yusuke;Mineshima Koji;Levine Robert;Bekki Daisuke
通讯作者：
Bekki Daisuke