Phase transitions of provability and supercritical propositions of reverse mathematics

可证明性的相变和逆向数学的超临界命题

基本信息

批准号：
15H03634
负责人：
Tanaka Kazuyuki
金额：
$ 10.73万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2015
资助国家：
日本
起止时间：
2015-04-01 至 2020-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Wuhan University of Technology(中国)

武汉理工大学（中国）

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

Determinacy of Infinite Games and Reverse Mathematics: Complexity of Winning Strategies

无限博弈的确定性和逆向数学：获胜策略的复杂性

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
木下武彦;渡部善隆;山本野人;中尾充宏;Hiroshi Nakajima;Takako Nemoto
通讯作者：
Takako Nemoto

Finite Choice, Convex Choice and Sorting

DOI：
10.1007/978-3-030-14812-6_23
发表时间：
2019-01-01
期刊：
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2019
影响因子：
0
作者：
Kihara, Takayuki;Pauly, Arno
通讯作者：
Pauly, Arno

Trees with at most finitely many paths in reverse mathematics

逆向数学中最多具有有限多条路径的树

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
渡部善隆;木下武彦;中尾充宏;Keita Yokoyama
通讯作者：
Keita Yokoyama

無限ゲームとプッシュダウンω言語

无限游戏和下推ω语言

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Yuichiro Ezoe;Yoshizumi Miyoshi;Satoshi Kasahara;Tomoki Kimura;Kumi Ishikawa;Masaki Fujimoto;Kazuhisa Mitsuda;Hironori Sahara;Naoki Isobe;Hiroshi Nakajima;Takaya Ohashi;Harunori Nagata;Ryu Funase;Munetaka Ueno;Graziella Branduardi-Raymont;石渡哲哉;田中一之，李文娟
通讯作者：
田中一之，李文娟

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其他文献

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

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.

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

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

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