权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theory

基于数学论证理论开发帮助解决规范不一致的工具

基本信息

批准号：
19K11914
负责人：
Okamoto Keishi
金额：
$ 2.66万
依托单位：
Sendai National College of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2019
资助国家：
日本
起止时间：
2019-04-01 至 2022-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（16）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Continuous modeling supports from business analysis to systems engineering in IoT development

物联网开发中从业务分析到系统工程的连续建模支持

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
Toshinori Takai;Katsutoshi Shintani;Hideki Andoh and Hironori Washizaki
通讯作者：
Hideki Andoh and Hironori Washizaki

Defining extensions with first-order logic formulas, and its computation

用一阶逻辑公式定义扩展及其计算

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Keishi Okamoto;Hiroyuki Kido;Toshinori Takai
通讯作者：
Toshinori Takai

自然言語処理の応用による要求仕様書中の矛盾検出手法の提案

提出一种使用自然语言处理来检测需求规范中的矛盾的方法

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Hiroyuki Kido;Beishui Liao;穀田一真，岡本圭史
通讯作者：
穀田一真，岡本圭史

Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy

贝叶斯遇上蕴涵和预测：具有非单调性、次一致性和预测准确性的常识推理

DOI：
发表时间：
2020
期刊：
CoRR
影响因子：
0
作者：
Hiroyuki Kido;Hiroyuki Kido;Hiroyuki Kido and Keishi Okamoto
通讯作者：
Hiroyuki Kido and Keishi Okamoto

A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems

直接和逆抽象论证问题的贝叶斯方法

DOI：
发表时间：
2019
期刊：
arXiv
影响因子：
0
作者：
Hiroyuki Kido;Beishui Liao
通讯作者：
Beishui Liao

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 }}

Okamoto Keishi其他文献

踊り念仏の歴史

大通念佛的历史

DOI：
发表时间：
2022
期刊：
『同朋』11月号
影响因子：
0
作者：
氣賀澤保規;池田恭哉;岡部毅史;梶山智史;倉本尚徳;田熊敬之;横山裕明;鈴木耕太郎;矢崎長潤;青柳英司;神田大輝;Okamoto Keishi;張名揚;本林靖久
通讯作者：
本林靖久

正常足と扁平足の足部アライメントの違いがランニング中の後足部，中足部，前足部キネマティクスに与える影響

正常足和扁平足之间的足部对齐差异对跑步过程中后足、中足和前足运动学的影响

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
Ogami-Takamura Keiko;Saiki Kazunobu;Endo Daisuke;Murai Kiyohito;Nishi Keita;Okamoto Keishi;Murata Hiroaki;Hara Tetsuya;Tsurumoto Toshiyuki;高林知也，江玉睦明，稲井卓真，久保雅義
通讯作者：
高林知也，江玉睦明，稲井卓真，久保雅義

津山事件における復讐の論理と戦慄の問題

津山事件的复仇逻辑与恐怖问题

DOI：
发表时间：
2023
期刊：
中央評論
影响因子：
0
作者：
氣賀澤保規;池田恭哉;岡部毅史;梶山智史;倉本尚徳;田熊敬之;横山裕明;鈴木耕太郎;矢崎長潤;青柳英司;神田大輝;Okamoto Keishi;張名揚;本林靖久;矢崎長潤;横山　裕明;斎藤喬
通讯作者：
斎藤喬

書評へのリプライ

回复书评

DOI：
发表时间：
2022
期刊：
宗教と社会
影响因子：
0
作者：
氣賀澤保規;池田恭哉;岡部毅史;梶山智史;倉本尚徳;田熊敬之;横山裕明;鈴木耕太郎;矢崎長潤;青柳英司;神田大輝;Okamoto Keishi;張名揚;本林靖久;矢崎長潤;横山　裕明;斎藤喬;鈴木耕太郎;横山　裕明;岡本圭史
通讯作者：
岡本圭史

Non-Christian Religions in the Work of Uchimura Kanzo

内村勘三作品中的非基督教

DOI：
发表时间：
2021
期刊：
CrossCurrents
影响因子：
0
作者：
氣賀澤保規;池田恭哉;岡部毅史;梶山智史;倉本尚徳;田熊敬之;横山裕明;鈴木耕太郎;矢崎長潤;青柳英司;神田大輝;Okamoto Keishi;張名揚;本林靖久;矢崎長潤;横山　裕明;斎藤喬;鈴木耕太郎;横山　裕明;岡本圭史;James Harry Morris
通讯作者：
James Harry Morris