New formal methods based on game semantics and their descriptive hierarchy

基于游戏语义及其描述层次的新形式化方法

基本信息

批准号：
26540001
负责人：
Tanaka Kazuyuki
金额：
$ 2.25万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
起止时间：
2014-04-01 至 2017-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（17）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Phase transitions and Reverse Mathematics

相变和逆向数学

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
W. Li;S. Okisaka and K. Tanaka;田中一之;Kazuyuki Tanaka;田中一之;K.Tanaka and F. Pelupessy
通讯作者：
K.Tanaka and F. Pelupessy

決定問題の相転移

决策问题中的相变

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
W. Li;S. Okisaka and K. Tanaka;田中一之;Kazuyuki Tanaka;田中一之
通讯作者：
田中一之

Workshop on Mathematical Logic

数理逻辑研讨会

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

CTFM2016

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees

DOI：
10.1016/j.ipl.2017.05.002
发表时间：
2017-09
期刊：
Inf. Process. Lett.
影响因子：
0
作者：
Weiguang Peng;NingNing Peng;K. Ng;Kazuyuki Tanaka;Yue Yang
通讯作者：
Weiguang Peng;NingNing Peng;K. Ng;Kazuyuki Tanaka;Yue Yang

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

Tanaka Kazuyuki其他文献

Detection and characterization of colitis-associated cancer/dysplasia: Based on reports from the JDDW2017 and meta-analyses of prospective studies concerning endoscopic procedure

结肠炎相关癌症/发育不良的检测和表征：基于 JDDW2017 的报告以及有关内窥镜手术的前瞻性研究的荟萃分析

DOI：
10.1111/den.13024
发表时间：
2018
期刊：
Digestive Endoscopy
影响因子：
5.3
作者：
Goto Takuma;Fujiya Mikihiro;Konishi Hiroaki;Sasajima Junpei;Fujibayashi Shugo;Hayashi Akihiro;Utsumi Tatsuya;Sato Hiroki;Iwama Takuya;Ijiri Masami;Sakatani Aki;Tanaka Kazuyuki;Nomura Yoshiki;Ueno Nobuhiro;Kashima Shin;Moriichi Kentaro;Mizukami Yusuke;Kohg;Fujiya M.
通讯作者：
Fujiya M.

Phase Diagrams of One-Dimensional Ising and XY Models with Fully Connected Ferromagnetic and Anti-Ferromagnetic Quantum Fluctuations

具有完全连接的铁磁和反铁磁量子涨落的一维 Ising 和 XY 模型的相图

DOI：
10.7566/jpsj.88.024802
发表时间：
2019
期刊：
Journal of the Physical Society of Japan
影响因子：
1.7
作者：
Okada Shuntaro;Ohzeki Masayuki;Tanaka Kazuyuki
通讯作者：
Tanaka Kazuyuki

スピン軌道相互作用によるポジトロニウムスピン転換反応の基礎研究と原子衝突への展開

自旋轨道相互作用引起的正电子自旋转换反应的基础研究及其在原子碰撞中的应用

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Okada Shuntaro;Ohzeki Masayuki;Tanaka Kazuyuki;澁谷憲悟
通讯作者：
澁谷憲悟

Difference between Quantum Annealing by Imaginary-Time and Real-Time Schr?dinger Equations of Grover’s Search

Grover 搜索的虚时薛定谔方程与实时薛定谔方程的量子退火之间的差异

DOI：
10.7566/jpsj.88.024803
发表时间：
2019
期刊：
Journal of the Physical Society of Japan
影响因子：
1.7
作者：
Okada Shuntaro;Ohzeki Masayuki;Tanaka Kazuyuki
通讯作者：
Tanaka Kazuyuki

Analog CMOS implementation of spiking neural networks for edge computing

用于边缘计算的尖峰神经网络的模拟 CMOS 实现

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
Sato Yuya;Yamamoto Hideaki;Kato Hideyuki;Tanii Takashi;Sato Shigeo;Hirano-Iwata Ayumi;Tanaka Kazuyuki;S. Sato; S. Moriya; H. Yamamoto; Y. Horio; Y. Yuminaka; J. Madrenas
通讯作者：
S. Sato; S. Moriya; H. Yamamoto; Y. Horio; Y. Yuminaka; J. Madrenas