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

Development of software foundation based on certified formal tree language theory

基于认证形式树语言理论的软件基础开发

基本信息

批准号：
17K00007
负责人：
Nakano Keisuke
金额：
$ 2.83万
依托单位：
Tohoku University (2018-2021)The University of Electro-Communications (2017)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
起止时间：
2017-04-01 至 2022-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Streaming ranked-tree-to-string transducers

流式排列的树到串传感器

DOI：
10.1016/j.tcs.2020.12.033
发表时间：
2021
期刊：
Theoretical Computer Science
影响因子：
1.1
作者：
Takahashi Yuta;Asada Kazuyuki;Nakano Keisuke
通讯作者：
Nakano Keisuke

Flexible Framework for Data Integration and Update Propagation: System Aspect

DOI：
10.1109/bigcomp.2019.8679236
发表时间：
2019-02
期刊：
2019 IEEE International Conference on Big Data and Smart Computing (BigComp)
影响因子：
0
作者：
Yasuhito Asano;Dennis-Florian Herr;Yasunori Ishihara;H. Kato;Keisuke Nakano;Makoto Onizuka;Yuya Sasaki
通讯作者：
Yasuhito Asano;Dennis-Florian Herr;Yasunori Ishihara;H. Kato;Keisuke Nakano;Makoto Onizuka;Yuya Sasaki

Toward BX-Based Architecture for Controlling and Sharing Distributed Data

走向基于BX的分布式数据控制和共享架构

DOI：
10.1109/bigcomp.2019.8679145
发表时间：
2019
期刊：
BigComp 2019
影响因子：
0
作者：
Ishihara Yasunori;Kato Hiroyuki;Nakano Keisuke;Onizuka Makoto;Sasaki Yuya
通讯作者：
Sasaki Yuya

Evaluating an algorithm deciding equivalence of deterministic top-down tree-to-string transducers.

评估确定确定性自顶向下树到串传感器的等效性的算法。

DOI：
10.11309/jssst.35.52
发表时间：
2018
期刊：
Computer Software
影响因子：
0
作者：
高橋祐多;中野圭介
通讯作者：
中野圭介

On Repetitive Right Application of B-Terms

论B术语的重复权利应用

DOI：
10.4230/lipics.fscd.2018.18
发表时间：
2018
期刊：
International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
影响因子：
0
作者：
Mirai Ikebuchi;Keisuke Nakano
通讯作者：
Keisuke Nakano

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

Nakano Keisuke其他文献

LSI Testing: A Core Technology to A Successful LSI Industry

LSI 测试：LSI 行业成功的核心技术

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Asano Yasuhito;Cao Yang;Hidaka Soichiro;Hu Zhenjiang;Ishihara Yasunori;Kato Hiroyuki;Nakano Keisuke;Onizuka Makoto;Sasaki Yuya;Shimizu Toshiyuki;Takeichi Masato;Xiao Chuan;Yoshikawa Masatoshi;西川浩樹;X. Wen
通讯作者：
X. Wen

Up-to-date Navigation- and Computer-Assisted Orbital Trauma Reconstruction.

最新的导航和计算机辅助轨道创伤重建。

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Shan Qiusheng;Takabatake Kiyofumi;Kawai Hotaka;Oo May;Inada Yasunori;Sukegawa Shintaro;Fushimi Shigeko;Nakano Keisuke;Nagatsuka Hitoshi;Takahiro Kanno
通讯作者：
Takahiro Kanno

口腔疣贅状扁平上皮癌の診断におけるドライバー遺伝子変異解析の有用性

驱动基因突变分析在口腔疣状鳞状细胞癌诊断中的作用

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Shan Qiusheng;Takabatake Kiyofumi;Kawai Hotaka;Oo May;Sukegawa Shintaro;Fujii Masae;Nakano Keisuke;Nagatsuka Hitoshi;Takahiro Kanno;栗林伸行，児島さやか，合田啓之，徳善紀彦，日野聡史，中城公一，内田大亮
通讯作者：
栗林伸行，児島さやか，合田啓之，徳善紀彦，日野聡史，中城公一，内田大亮

Secretory Carcinoma of Salivary Gland with High-Grade Histology Arising in Hard Palate: A Case Report

硬腭组织学级别高的唾液腺分泌癌：一例报告

DOI：
10.3390/reports3020006
发表时间：
2020
期刊：
Reports Medical Cases, Images, and Videos
影响因子：
0
作者：
Takabatake Kiyofumi;Nakano Keisuke;Kawai Hotaka;Yoshida Saori;Omori Haruka;Wathone Oo May;Qiusheng Shan;Uchida Kenichiro;Mishima Katsuaki;Nagatsuka Hitoshi
通讯作者：
Nagatsuka Hitoshi

UML状態遷移図とコードのリアルタイム双方向変換ツールの開発

UML状态转换图及代码实时双向转换工具开发

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Asano Yasuhito;Cao Yang;Hidaka Soichiro;Hu Zhenjiang;Ishihara Yasunori;Kato Hiroyuki;Nakano Keisuke;Onizuka Makoto;Sasaki Yuya;Shimizu Toshiyuki;Takeichi Masato;Xiao Chuan;Yoshikawa Masatoshi;島谷隼生,佐藤将也,谷口秀夫;萩原俊，佐々木晃
通讯作者：
萩原俊，佐々木晃