TANAKA Kazuyuki 田中一之

… Alternative Names

Tanaka Kazuyuki 田中一之

田中一之タナカカズユキ

Less

Researcher Number	70188291
Other IDs
External Links
Affiliation (Current)	2025: 東北大学, 理学研究科, 名誉教授 2025: 東北大学, 数理科学連携研究センター, 教授
Affiliation (based on the past Project Information) *help	2024: 東北大学, 理学研究科, 名誉教授 2021 – 2022: 東北大学, 理学研究科, 名誉教授 2019: 東北大学, 数理科学連携研究センター, 教授 2015 – 2018: 東北大学, 理学研究科, 教授 2011 – 2015: 東北大学, 理学(系)研究科(研究院), 教授 … More 2007 – 2010: Tohoku University, 大学院・理学研究科, 教授 2006: 東北大学, 大学院理学研究科, 教授 2001 – 2005: 東北大学, 大学院・理学研究科, 教授 1997 – 1999: 東北大学, 大学院・理学研究科, 教授 1995 – 1996: 東北大学, 大学院・理学研究科, 助教授 1993 – 1995: 東北大学, 理学部, 助教授 1992: 東北大学, 教養部, 助教授 1990: 東京工業大学, 理学部, 助手 Less
Review Section/Research Field	Principal Investigator Foundations of mathematics/Applied mathematics / General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Basic Section 60010:Theory of informatics-related / Theory of informatics / Fundamental theory of informatics Except Principal Investigator 解析学 / General mathematics (including Probability theory/Statistical mathematics) / Algebra / Algebra / General mathematics (including Probability theory/Statistical mathematics) / 代数学・幾何学
Keywords	Principal Investigator 数学基礎論 / 逆数学 / 2階算術 / 計算可能性理論 / WKL_0 / second order arithmetic / 証明論 / 数理論理学 / 超準モデル / ロジック … More / ランダム性 / 超準的手法 / 確率ゲーム / 様相ミュー計算 / モデル検査 / 確率的推論 / 無限ゲーム / 様相μ計算 / ランダム決定木 / ゲームの決定性 / nonstandard method / WKLo / lambda calculus / bounded arithmetic / reverse mathematics / formal arithmetic / type theory / theory of computation / logical structures / 算術のモデル / ラムダ計算 / 限定算術 / 形式算術 / 型理論 / 計算論 / 論理構造 / プッシュダウン・オートマトン / ゲーム木 / 高次計算論 / ゲーム意味論 / 量子コンピュータ / 情報基礎 / 量子計算論 / 超準解析 … More Except Principal Investigator アーベル多様体 / 超準解析 / bimodule / quadratic field / class number / Abelian variety / complex multiplication / elliptic curve / ガロア降下法 / 虚2次体 / アーベル曲面 / 代数体 / ヒルベルト類体 / 二次体 / 類数 / 虚数乗法 / 楕円曲線 / BELIAN VARIETY / ALGEBRAIC SURFACES / DIOPHANTINE EQUATION / K3 SURFACE / HEIGHT / RATIONAL POINTS / ALGEBRAIC VARIETY / 数論的幾何学 / 整数点 / 代数曲面 / 不定方程式 / K3曲面 / 高さ / 有理点 / 代数多様体 / nonstandard analysis / axiomatic set theory / Boolean-valed model / computational complexity / recursive function / 巨大基数 / 公理的集合論 / ブール値モデル / 計算量 / 帰納的関数 / Mathematical logic / Linear logic / Non-standard analysis / ideal / Non-standard logic / BCK algchra / Supercompect Cardinals / Inner Models / New-stardird Analysis / Motomsthematics / Reverse Mathemtics / Substructural Logic / Honest Polynomial Degree / ファイマン種分 / 型理論 / recursive ordinal / elementary embedding / Browerian-valued model / substructural logic / クリプケモデル / 安定性理論 / 集合論的トポロジー / 数理論理学 / 線形論理学 / イデアル / 非標準論理学 / Fisher情報量 / 量子完全相関 / 自由確率論 / 量子論理ゲート / 量子オペレーション / 量子推定 / Wigner-Araki-Yanaseの定理 / 保存法則 / 量子チャンネル推定 / 量子仮説検定 / デコヒーレンス / 量子ゲート / 量子確率論 / 量子集合論 / 不確定性原理 / 量子計算 / 量子情報 / 量子測定 / 数学基礎論 / 数理物理学 / Hopf algebra / fusion algebra / Takesaki duality / orbifold / Mackey theory / tensor category / 非線形LC回路 / 非線形波動伝搬 / グラフネットワーク / 熱方程式の基本解 / ベルマン方程式 / 多変数ポテンシャル論 / モンジュ・アンペール方程式 / 確率解析 / parabolic equation / analytie Ramsey theorem / heat kernel / singular integral / hyponormality / Parabolic equation / Analytic Ramsey theorem / Bimodule / Graph network / Heat kernel / Hyponormality / Singular integral / Saturation / 幾何構造 / 双曲多様体 / 実験数学 / 低次元多様体 Less

様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析Principal Investigator
- Principal Investigator
  
  田中一之
- Project Period (FY)
  2021 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Tohoku University
Phase transitions of provability and supercritical propositions of reverse mathematicsPrincipal Investigator
- Principal Investigator
  
  Tanaka Kazuyuki
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tohoku University
New formal methods based on game semantics and their descriptive hierarchyPrincipal Investigator
- Principal Investigator
  
  Tanaka Kazuyuki
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Theory of informatics
- Research Institution
  Tohoku University
逆数学と組合せ理論Principal Investigator
- Principal Investigator
  
  田中一之
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tohoku University
具体的な数学の不完全性の強弱Principal Investigator
- Principal Investigator
  
  田中一之
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tohoku University
Computational Aspects of Randomness and Their Structural Analysis via Nonstandard MethodsPrincipal Investigator
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Towards construction of a new computation model based on quantum mechanicsPrincipal Investigator
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Marriage of non-standard analysis and computability theory toward the light of algorithmic randomnessPrincipal Investigator
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Mathematical study of quantum information and quantum computing
- Principal Investigator
  
  MASANAO Ozawa
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Nagoya University
  Tohoku University
Number Theoretic Study of Elliptic Curves
- Principal Investigator
  
  NAKAMURA Tetsuo
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Tohoku University
Comparative studies on nonstandard methods and constructive methodsPrincipal Investigator
- Principal Investigator
  
  TANAKA Kasuyuki
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
STUDY OF THE HEIGHTS AND THE DISTRIBUTION OF RATIONAL POINTS ON ALGEBRAIC VARIETIES
- Principal Investigator
  
  MORITA Yasuo
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  TOHOKU UNIVERSITY
Studies on logical structures of arithmetic and computationPrincipal Investigator
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  TOHOKU UNIVERSITY
関数解析学における組み合わせ構造
- Principal Investigator
  
  山上滋
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Tohoku University
算術の部分体系とそのモデルについての研究Principal Investigator
- Principal Investigator
  
  田中一之
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Comprehensive Study of Recursive Function Theory
- Principal Investigator
  
  SHINODA Juichi
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Nagoya University
様々な数理モデルとそれらの情報科学への応用
- Principal Investigator
  
  岡田正己
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Tohoku University
関数近似論における飽和理論の研究
- Principal Investigator
  
  鈴木義也
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Tohoku University
作用素の不等式とその応用
- Principal Investigator
  
  吉野崇
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  解析学
- Research Institution
  Tohoku University
COOPERATIVE RESEARCH OF MATHEMATICAL LOGIC AND ITS RELATED FIELDS
- Principal Investigator
  
  KAKUDA Yuzuru
- Project Period (FY)
  1992 – 1994
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University
低次元多様体の幾何学とその周辺
- Principal Investigator
  
  小島定吉
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  代数学・幾何学
- Research Institution
  Tokyo Institute of Technology

[Book] 計算理論と数理論理学2022
- Author(s)
  田中一之
- Total Pages
  312
- Publisher
  共立出版
- ISBN
  4320114728
- Data Source
  KAKENHI-PROJECT-23K21641
[Book] 逆数学2019
- Author(s)
  ジョン・スティルウェル、田中一之、川辺治之
- Total Pages
  232
- Publisher
  森北出版
- ISBN
  4627054513
- Data Source
  KAKENHI-PROJECT-15H03634
[Book] 数学基礎論序説2019
- Author(s)
  田中一之
- Total Pages
  384
- Publisher
  裳華房
- ISBN
  9784785315757
- Data Source
  KAKENHI-PROJECT-15H03634
[Book] 山の上のロジック学園2019
- Author(s)
  田中一之、バラマツヒトミ
- Total Pages
  284
- Publisher
  日本評論社
- ISBN
  4535789134
- Data Source
  KAKENHI-PROJECT-15H03634
[Book] ロジックの世界2015
- Author(s)
  D. クライアン、S. シュアテル、B. メイブリン原著　田中一之訳
- Total Pages
  192
- Publisher
  講談社
- Data Source
  KAKENHI-PROJECT-23340020
[Book] ロジックの世界2015
- Author(s)
  D.クライアン、S.シュアテル、B.メイブリン原著　田中一之訳
- Total Pages
  192
- Publisher
  講談社
- Data Source
  KAKENHI-PROJECT-26540001
[Book] チューリングと超パズル2013
- Author(s)
  田中一之
- Total Pages
  266
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-23340020
[Book] チューリングと超パズル2013
- Author(s)
  田中一之
- Total Pages
  266
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-23650001
[Book] ゲーデルに挑む2012
- Author(s)
  田中一之
- Total Pages
  176
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-23650001
[Book] ゲーデルに挑む2012
- Author(s)
  田中一之
- Total Pages
  188
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-23340020
[Book] ゲーデルの定理2011
- Author(s)
  T.フランセーン(原著)、田中一之(訳・解説)
- Total Pages
  250
- Publisher
  みすず書房
- Data Source
  KAKENHI-PROJECT-19340019
[Book] ゲーデルの定理2011
- Author(s)
  田中一之
- Total Pages
  250
- Publisher
  みすず書房
- Data Source
  KAKENHI-PROJECT-19340019
[Book] 『ゲーデルと20世紀の論理学(ロジック)』第4巻「集合論とプラトニズム」2007
- Author(s)
  田中一之
- Total Pages
  305
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-19340019
[Book] 『ゲーデルと02世紀の論理学(ロジック)』, 第4巻「集合論とプラトニズム」2007
- Author(s)
  田中一之編, 田中一之, 田中一之, 渕野昌, 松原洋, 戸田山和久著
- Total Pages
  318
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-19340019
[Book] 『ゲーデルと20世紀の論理学 (ロジック)』, 第4巻「集合論とプラトニズム」2007
- Author(s)
  田中一之(編), 田中一之, 渕野昌, 松原洋, 戸田山和久(著)
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-19340019
[Book] 『ゲーデルと20世紀の論理学(ロジック)』, 第3巻「不完全性定理と算術の体系」2007
- Author(s)
  田中一之編, 田中一之, 鹿島亮, 山崎武, 白旗優著
- Total Pages
  296
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] On the Degrees of Ignorance: via Epistemic Logic and μ-Calculus2022
- Author(s)
  Leonard Pacheco, Kazuyuki Tanaka
- Journal Title
  
  Proc. of SOCREAL2022
  
  Volume: - Pages: 74-78
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K21641
[Journal Article] The Alternation Hierarchy of the $\mu $-calculus over Weakly Transitive Frames2022
- Author(s)
  Pacheco Leonardo、Tanaka Kazuyuki
- Journal Title
  
  WoLLIC 2022, LNCS
  
  Volume: 13468 Pages: 207-220
- DOI
  10.1007/978-3-031-15298-6_13
- ISBN
  9783031152979, 9783031152986
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K21641
[Journal Article] Second-order logic and related systems: a game-semantical perspective2022
- Author(s)
  Wenjuan Li, Kazuyuki Tanaka
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2233 Pages: 1-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K21641
[Journal Article] On One-Variable Fragments of Modal μ-Calculus2022
- Author(s)
  Pacheco Leonardo、Li Wenjuan、Tanaka Kazuyuki
- Journal Title
  
  Proc. of Computability Theory and Foundations of Mathematics 2019 (Wuhan)
  
  Volume: - Pages: 17-45
- DOI
  10.1142/9789811259296_0002
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K21641
[Journal Article] Infinite Games, Inductive Definitions and Transfinite Recursion2022
- Author(s)
  Tanaka Kazuyuki、Yoshii Keisuke
- Journal Title
  
  Proc. of Computability Theory and Foundations of Mathematics 2019 (Wuhan)
  
  Volume: - Pages: 47-78
- DOI
  10.1142/9789811259296_0003
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K21641
[Journal Article] The Eigen-Distribution for Multi-Branching Weighted Trees on Independent Distributions2021
- Author(s)
  Peng Weiguang、Peng NingNing、Tanaka Kazuyuki
- Journal Title
  
  Methodology and Computing in Applied Probability
  
  Volume: 24 Issue: 1 Pages: 277-287
- DOI
  10.1007/s11009-021-09849-7
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634, KAKENHI-PROJECT-23K21641
[Journal Article] Alternation hierarchies and fragments of modal $\mu$-calculus2018
- Author(s)
  W. Li, Y. Omata and K. Tanaka
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] Alternation hierarchies and fragments of modal mu-calculus2018
- Author(s)
  W. Li, Y. Omata and K. Tanaka
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2083 Pages: 98-110
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] The determinacy strength of pushdown $\omega$-languages2017
- Author(s)
  W. Li and K. Tanaka
- Journal Title
  
  RAIRO - Theoretical Informatics and Applications
  
  Volume: 51 Issue: 1 Pages: 29-50
- DOI
  10.1051/ita/2017006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees2017
- Author(s)
  Weiguang Peng, Ningning Peng, Keng Meng Ng，Kazuyuki Tanaka and Yue Yang,
- Journal Title
  
  Information Processing Letters
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540001
[Journal Article] The eigen-distribution of weighted game trees2017
- Author(s)
  S. Okisaka, W. Peng, W. Li and K. Tanaka
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10627 Pages: 286-297
- DOI
  10.1007/978-3-319-71150-8_25
- ISBN
  9783319711492, 9783319711508
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] Commuting quantum circuits with few outputs are unlikely to be classically simulatable2016
- Author(s)
  Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 16-3&4 Pages: 251-270
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] Commuting quantum circuits with few outputs are unlikely to be classically simulatable2016
- Author(s)
  Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 16-3&4 Pages: 251-270
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540001
[Journal Article] The uniqueness of eigen-distribution under nondirectional algorithms2016
- Author(s)
  W. Peng, S. Okisaka, W. Li and K. Tanaka
- Journal Title
  
  IAENG International Journal of Computer Science
  
  Volume: 43-3 Pages: 318-325
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] The uniqueness of eigen-distribution under nondirectional algorithms2016
- Author(s)
  W. Peng, S. Okisaka, W. Li and K. Tanaka
- Journal Title
  
  IAENG International Journal of Computer Science
  
  Volume: 43-3 Pages: 318-325
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26540001
[Journal Article] The Eigen-distribution for Multi-branching Trees2016
- Author(s)
  Weiguang Peng, Shohei Okisaka, Wenjuan Li, Kazuyuki Tanaka
- Journal Title
  
  International MultiConference of Engineers and Computer Scientists
  
  Volume: I Pages: 88-93
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] The Eigen-distribution for Multi-branching Trees2016
- Author(s)
  Weiguang Peng, Shohei Okisaka, Wenjuan Li, Kazuyuki Tanaka
- Journal Title
  
  International MultiConference of Engineers and Computer Scientists
  
  Volume: I Pages: 88-93
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26540001
[Journal Article] Commuting quantum circuits with few outputs are unlikely to be classically simulatable2015
- Author(s)
  Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9198 Pages: 223-234
- DOI
  10.1007/978-3-319-21398-9_18
- ISBN
  9783319213972, 9783319213989
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540001, KAKENHI-PROJECT-15H03634
[Journal Article] Infinite games recognized by 2-stack visibly pushdown automata2015
- Author(s)
  W. Li, S. Okisaka and K. Tanaka
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-23340020
[Journal Article] Infinite games recognized by 2-stack visibly pushdown automata2015
- Author(s)
  Wenjuan Li, Shohei Okisaka, Kazuyuki Tanaka
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1950 Pages: 121-137
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] Infinite games recognized by 2-stack visibly pushdown automata2015
- Author(s)
  Wenjuan Li, Shohei Okisaka, Kazuyuki Tanaka
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1950 Pages: 121-137
- Data Source
  KAKENHI-PROJECT-26540001
[Journal Article] Infinite games recognized by 2-stack visibly pushdown automata2015
- Author(s)
  W. Li, S. Okisaka and K. Tanaka
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-26540001
[Journal Article] 無限ゲームとオートマトン2014
- Author(s)
  田中一之
- Journal Title
  
  数学セミナー
  
  Volume: 53-11 Pages: 20-25
- Data Source
  KAKENHI-PROJECT-26540001
[Journal Article] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014
- Author(s)
  Y.Takahashi, T.Yamazaki and K.Tanaka
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 14 Pages: 1149-1164
- NAID
  110009820596
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23340020
[Journal Article] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014
- Author(s)
  Y. Takahashi, T. Yamazaki and K. Tanaka
- Journal Title
  
  Quantum Information and Computation
  
  Volume: 14巻 Pages: 1149-1164
- NAID
  110009820596
- URL
  http://www.rintonpress.com/journals/qiconline.html#v14n910
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23650001
[Journal Article] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2013
- Author(s)
  Y. Takahashi, T. Yamazaki and K. Tanaka
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8087 Pages: 801-812
- DOI
  10.1007/978-3-642-40313-2_70
- NAID
  110009820596
- ISBN
  9783642403125, 9783642403132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
[Journal Article] Infinite Games and Transfinite Recursion of Multiple Inductive Definitions2012
- Author(s)
  K. Yoshii and K. Tanaka
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 7318 Pages: 374-383
- DOI
  10.1007/978-3-642-30870-3_38
- ISBN
  9783642308697, 9783642308703
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
[Journal Article] Relative randomness for Mart in-Loef random sets2012
- Author(s)
  NingNing Peng, Kojiro Higuchi, Takeshi Ymazaki and Kazuyuki Tanaka
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 7318 Pages: 303-312
- DOI
  10.1007/978-3-642-30870-3_58
- ISBN
  9783642308697, 9783642308703
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J03577, KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
[Journal Article] Newwork Games with and without Synchroneity2011
- Author(s)
  Ahmad Termimi Ab Ghani and Kazuyuki Tanaka
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 7037 Pages: 87-103
- DOI
  10.1007/978-3-642-25280-8_9
- ISBN
  9783642252792, 9783642252808
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
[Journal Article] Network Games with Many Attackers and Defenders2011
- Author(s)
  Ahmad Termimi Ab Ghani, K.Tanaka
- Journal Title
  
  RIMS Kokyuroku, "Formal Systems and Computability Theory"
  
  Volume: 1729 Pages: 146-151
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Newwork Games with and without Synchroneity2011
- Author(s)
  Ahmad Termimi Ab Ghani and Kazuyuki Tanaka
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 7037
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23650001
[Journal Article] Determinacy of Infinite Games and Inductive Definition in Second Order Arithmetic2011
- Author(s)
  K.Mashiko, K.Yoshii, K.Tanaka
- Journal Title
  
  RIMS Kokyuroku, "Formal Systems and Computability Theory"
  
  Volume: 1729 Pages: 167-177
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] A note on multiple inductive definitions, in the Proceedings of the 10th Asian Logic Conference2010
- Author(s)
  K. Tanaka
- Journal Title
  
  World Scientific
  
  Pages: 345-352
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] A Lemma on K-random Extension2010
- Author(s)
  N. Peng, T. Yamazaki, K. Tanaka and C. G. Liu
- Journal Title
  
  ICCEE 2010 (Chengdu)
  
  Volume: v. 7 Pages: 353-357
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] A Lemma on K-random Extension2010
- Author(s)
  N.Peng, T.Yamazaki, K.Tanaka, C.G.Liu
- Journal Title
  
  Proceedings of ICCEE 2010 (Chengdu)
  
  Volume: 7 Pages: 353-357
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Uncertain Association Rule Mining Approach for Cell Formation Problem in Cellular Manufacturing Systems2009
- Author(s)
  ChenGuang Liu, Kazuhiko Yasuda, Yong Yin, K. Tanaka
- Journal Title
  
  International Journal of Production Research
  
  Volume: 47(3) Pages: 667-685
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] A note on multiple inductive definitions2009
- Author(s)
  K.Tanaka
- Journal Title
  
  Proceedings of the 10th Asian Logic Conference
  
  Pages: 345-352
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] An Algorithm for the Design of Manufacturing Cells2009
- Author(s)
  K.Tanaka
- Journal Title
  
  The 5th IEEE International Conference on Natural Computation
  
  Pages: 207-211
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Uncertain Association Rule Mining Approach for Cell Formation Problem in Cellular Manufacturing Systems2009
- Author(s)
  K.Tanaka
- Journal Title
  
  International Journal of Production Research 47(3)
  
  Pages: 667-685
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] An Algorithm for the Design of Manufacturing Cells2009
- Author(s)
  ChenGuang Liu, Lin Zhu, K. Tanaka
- Journal Title
  
  The 5th IEEE International Conference on Natural Computation, China
  
  Volume: 14-16 Pages: 207-211
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Complexity Oscillations in Random Reals2008
- Author(s)
  C. G. Liu, K. Tanaka
- Journal Title
  
  IEICE Transactions on Information and Systems 91
  
  Pages: 2517-2518
- NAID
  10026806148
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Weak determinacy and iterations of inductive definitions2008
- Author(s)
  M. O. MedSalem and K. Tanaka
- Journal Title
  
  World Scientific
  
  Pages: 333-353
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Generalization of complexity oscillations in infinite sequeces2008
- Author(s)
  C. G. Liu, K. Tanaka, T. Yamazaki
- Journal Title
  
  4rd International Conference on Natural Computation (ICNC'08), IEEE
  
  Pages: 299-303
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Generalization of complexity oscillations in infinite sequences2008
- Author(s)
  C. G. Liu, T. Yamazaki and K. Tanaka
- Journal Title
  
  IEEE
  
  Pages: 299-303
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Generalization of complexity oscillations in infinite sequences2008
- Author(s)
  C. G. Liu, T. Yamazaki, K. Tanaka
- Journal Title
  
  the 4^<th> International Conference on Natural Computation (ICNC'08), IEEE
  
  Pages: 299-303
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Generalization of complexity oscillations in infinite sequeces2008
- Author(s)
  C.G. Liu, K. Tanaka and T. Yamazaki
- Journal Title
  
  4rd International Conference on Natural Computation (ICNC'08), IEEE
  
  Pages: 299-303
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Weak determinacy and iterations of inductive definitions2008
- Author(s)
  M. O. MedSalem and K. Tanaka
- Journal Title
  
  Proc. of Computational Prospects of Infinity, World Scientific (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] A cell formation algorithm incorporating practical production factors2008
- Author(s)
  C. G. Liu, K. Tanaka and Y. Yin
- Journal Title
  
  The 11th IEEE International Symposium on Scientific and Engineering Computing (SEC-08)
  
  Volume: 16-18 Pages: 170-175
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] The quasi-equivalence between the definitions of partial randomness2008
- Author(s)
  C.G. Liu, K. Tanaka and T. Yamazaki
- Journal Title
  
  4rd International Conference on Natural Computation (ICNC'08), IEEE
  
  Pages: 371-375
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Complexity Oscillations in Random Reals2008
- Author(s)
  C.G. Liu and K. Tanaka
- Journal Title
  
  IEICE Transactions on Information and Systems 91
  
  Pages: 2517-2518
- NAID
  10026806148
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] The quasi-equivalence between the definitions of partial randomness2008
- Author(s)
  C. G. Liu, K. Tanaka, T. Yamazaki
- Journal Title
  
  4rd International Conference on Natural Computation (ICNC'08), IEEE
  
  Pages: 371-375
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] The quasi-equivalence between the definitions of partial randomness2008
- Author(s)
  C. G. Liu, K. Tanaka and T. Yamazaki
- Journal Title
  
  IEEE
  
  Pages: 371-375
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] The Complexity of Algorithms Computing Game Trees on Random Assignments2007
- Author(s)
  C. Liu and K. Tanaka
- Journal Title
  
  Lecture Notes in Computer Science 4508
  
  Pages: 241-250
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Delta^0_3-determinacy, comprehension and induction2007
- Author(s)
  M.O.MedSalem, K.Tanaka
- Journal Title
  
  J. of Symbolic Logic (掲載決定)
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Uncertain Association Rule Mining Approach for Cell Formation Problem in Cellular Manufacturing Systems2007
- Author(s)
  C. Liu, K. Yasuda, Y. Yin and K. Tanaka
- Journal Title
  
  International Journal of Production Research (online)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Comments on "Best conventional solutions to the King's problem"2007
- Author(s)
  G.Kimura, H.Tanaka, M.Ozawa
- Journal Title
  
  Z. Naturforsch. 62a
  
  Pages: 152-156
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Infinite games in the Cantor space and subsystems of second order arithmetic2007
- Author(s)
  T.Nemoto, M.O.MedSalem, K.Tanaka
- Journal Title
  
  Mathematical Logic Quarterly (掲載決定)
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Infinite games in the Cantor space and subsystems of second order arithmetic2007
- Author(s)
  T. Nemoto, M. O. MedSalem and K. Tanaka
- Journal Title
  
  Mathematical Logic Quarterly 53
  
  Pages: 226-236
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Comments on "Best conventional solutions to the King's problem"2007
- Author(s)
  G. Kimura, H. Tanaka, and M. Ozawa
- Journal Title
  
  Z. Naturforsch 62a
  
  Pages: 152-156
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Comments on "Best conventional solutions to the King's problem,"2007
- Author(s)
  G. Kimura, H. Tanaka andM. Ozawa
- Journal Title
  
  Z. Naturforsch 62a
  
  Pages: 152-156
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Eigen-Distribution on Random Assignments for Game Trees2007
- Author(s)
  C. Liu and K. Tanaka
- Journal Title
  
  Info. Processing Letters 142(2)
  
  Pages: 173-177
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Infinite games in the Cantor space and subsystems of second order arithmetic2007
- Author(s)
  T. Nemoto, M. O. MedSalem and K. Tanaka
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 53 Pages: 226-236
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] △^0_3-determinacy, comprehension and induction2007
- Author(s)
  M. O. MedSalem and K. Tanaka
- Journal Title
  
  Journal of Symbolic Logic 72
  
  Pages: 452-462
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] The Computational Complexity of Game Trees by Eigen-Distribution2007
- Author(s)
  C. Liu and K. Tanaka
- Journal Title
  
  Lecture Notes in Computer Science 4616
  
  Pages: 323-334
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Solution to the mean King's problem with mutually unbiased bases for arbitrary levels2006
- Author(s)
  G. Kimura, H. Tanaka and M. Ozawa
- Journal Title
  
  Phys Rev. A73
- NAID
  120003780543
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17340021
[Journal Article] Solution to the mean King's problem with mutually unbiased bases for arbitrary levels2006
- Author(s)
  G.Kimura, H.Tanaka, M.Ozawa
- Journal Title
  
  Phys. Rev. A 73
- NAID
  120003780543
- Data Source
  KAKENHI-PROJECT-17340021
[Presentation] ブール木に対する固有独立分布について2020
- Author(s)
  田中一之
- Organizer
  日本数学会年会（アブトラクト）3月
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] 重み付きAND-OR木の固有分布について2019
- Author(s)
  田中一之
- Organizer
  日本応用数理学会年会（東大駒場）9月3日
- Invited
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] 重み付きAND-OR木の固有分布について2019
- Author(s)
  田中一之
- Organizer
  日本応用数理学会年会
- Invited
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] 重み付きAND-OR木における固有分布の一意性について2018
- Author(s)
  田中一之，沖坂祥平
- Organizer
  日本数学会年会(東京大学)
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] 無限ゲームとプッシュダウンω言語2017
- Author(s)
  田中一之，李文娟
- Organizer
  日本数学会秋季総合分科会(山形大学)
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] The eigen-distribution of weighted game trees2017
- Author(s)
  S. Okisaka, W. Peng, W. Li and K. Tanaka
- Organizer
  COCOA 2017 in Hong Kong
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] Determinacy strength of infinite games in omega-languages recognized by variations of automata2016
- Author(s)
  Kazuyuki Tanaka
- Organizer
  IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics
- Place of Presentation
  シンガポール国立大学，シンガポール
- Year and Date
  2016-01-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540001
[Presentation] Determinacy strength of infinite games in omega-languages recognized by variations of automata2016
- Author(s)
  Kazuyuki Tanaka
- Organizer
  IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics
- Place of Presentation
  シンガポール国立大学，シンガポール
- Year and Date
  2016-01-15
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] The determinacy strength of infinite games in $\omega$-languages recognized by variations of pushdown automata2016
- Author(s)
  W. Li and K. Tanaka
- Organizer
  Mathematical Logic and Its Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] 決定問題の相転移2015
- Author(s)
  田中一之
- Organizer
  情報処理学会第７７回全国大会
- Place of Presentation
  京都大学
- Year and Date
  2015-03-17
- Invited
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] 決定問題の相転移2015
- Author(s)
  田中一之
- Organizer
  情報処理学会第７７回全国大会
- Place of Presentation
  京都大学
- Year and Date
  2015-03-17
- Invited
- Data Source
  KAKENHI-PROJECT-26540001
[Presentation] Finitisations of second order principles2015
- Author(s)
  K.Tanaka and F. Pelupessy
- Organizer
  日本数学会2015年会
- Place of Presentation
  明治大学
- Year and Date
  2015-03-22
- Data Source
  KAKENHI-PROJECT-26540001
[Presentation] Finitisations of second order principles2015
- Author(s)
  K.Tanaka and F. Pelupessy
- Organizer
  日本数学会2015年会
- Place of Presentation
  明治大学
- Year and Date
  2015-03-22
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Finitisations of second order principles2015
- Author(s)
  K.Tanaka and F. Pelupessy
- Organizer
  日本数学会2015年会
- Place of Presentation
  明治大学
- Year and Date
  2015-03-22
- Data Source
  KAKENHI-PROJECT-13F03760
[Presentation] Phase transitions and Reverse Mathematics2014
- Author(s)
  K.Tanaka and F. Pelupessy
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Variants of Infinite Games and Their Strenth2014
- Author(s)
  K. Tanaka
- Organizer
  IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathmematics
- Place of Presentation
  シンガポール国立大学
- Year and Date
  2014-09-01
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Variants of Infinite Games and Their Strenth2014
- Author(s)
  K. Tanaka
- Organizer
  IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathmematics
- Place of Presentation
  シンガポール国立大学
- Year and Date
  2014-09-01
- Data Source
  KAKENHI-PROJECT-26540001
[Presentation] Phase transitions and Reverse Mathematics2014
- Author(s)
  K.Tanaka and F. Pelupessy
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PROJECT-26540001
[Presentation] Phase transitions and Reverse Mathematics2014
- Author(s)
  K.Tanaka and F. Pelupessy
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PROJECT-13F03760
[Presentation] Reverse Mathematics on Measure-Theoretic Probability (Plenary talk)2013
- Author(s)
  K. Tanaka
- Organizer
  Asian Logic Conference
- Place of Presentation
  中国・中山大学
- Year and Date
  2013-09-18
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2013
- Author(s)
  Y. Takahashi, T. Yamazaki and K. Tanaka
- Organizer
  The 38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013)
- Place of Presentation
  オーストリア・Institute of Science and Technology
- Year and Date
  2013-09-30
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] Infinite Games and Reverse Mathematics2012
- Author(s)
  Kazuyuki Tanaka and Keisuke Yoshii
- Organizer
  WORKSHOP ON PROOF THEORY AND COMPUTABILITY THEORY 2012
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Relative randomness for Martin-Loef random sets2012
- Author(s)
  N. Peng, K. Higuchi, T. Yamazaki and K. Tanaka
- Organizer
  CiE 2012
- Place of Presentation
  英国ケンブリッジ大学
- Year and Date
  2012-06-19
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] Infinite games and transfinite recursion of multiple inductive definitions2012
- Author(s)
  K. Yoshii and K. Tanaka
- Organizer
  CiE 2012
- Place of Presentation
  ケンブリッジ（英国）
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] Infinite Games and Reverse Mathematics2012
- Author(s)
  K. Tanaka
- Organizer
  Fourth Workshop on Game-Theoretic Probability and Related Topics
- Place of Presentation
  東京大学
- Year and Date
  2012-11-14
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] Infinite games and Reverse Mathematics2012
- Author(s)
  K. Yoshii and K. Tanaka
- Organizer
  Workshop on Proof Theory and Computability Theory
- Place of Presentation
  東京晴海
- Year and Date
  2012-02-22
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] Relative randomness for Martin-Loef random sets2012
- Author(s)
  N. Peng, K. Higuchi, T. Yamazaki and K.Tanaka
- Organizer
  CiE 2012
- Place of Presentation
  ケンブリッジ（英国）
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] Infinite games and transfinite recursion of multiple inductive definitions2012
- Author(s)
  K. Yoshii and K. Tanaka
- Organizer
  CiE 2012
- Place of Presentation
  英国ケンブリッジ大学
- Year and Date
  2012-06-19
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] Newwork Games with and without Synchroneity2011
- Author(s)
  Ahmad Termimi Ab Ghani and Kazuyuki Tanaka
- Organizer
  GameSec 2011
- Place of Presentation
  メリーランド（アメリカ合衆国）
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Network Games with and without Synchroneity2011
- Author(s)
  Ahmad Termimi Ab Ghani and Kazuyuki Tanaka
- Organizer
  GameSec 2011, Conference on Decision and Game Theory for Security
- Place of Presentation
  米国・メリーランド大学
- Year and Date
  2011-11-14
- Data Source
  KAKENHI-PROJECT-23650001
[Presentation] A Lemma on K-random Extension2010
- Author(s)
  K.Tanaka
- Organizer
  ICCEE2010
- Place of Presentation
  Univ.of Electronics Science and Technology of China(成都,中国)
- Year and Date
  2010-11-18
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] A Lemma on K-random Extension2010
- Author(s)
  K. Tanaka
- Organizer
  ICCEE2010 (University of Electronics Science and Technology of China)
- Place of Presentation
  中国成都, 中国電子科学技術大学
- Year and Date
  2010-11-18
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] An Algorithm for the Design of Manufacturing Cells2009
- Author(s)
  K. Tanaka
- Organizer
  5th ICNC and 6th FSKD
- Place of Presentation
  中国天津, 天津理工大学
- Year and Date
  2009-08-14
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] An Algorithm for the Design of Manufacturing Cells2009
- Author(s)
  K.Tanaka
- Organizer
  5^<th> ICNC and 6^<th> FSKD, 2009
- Place of Presentation
  Tianjin(中国)
- Year and Date
  2009-08-14
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] Determinacy, Ramsey Property and II12-comprehension2008
- Author(s)
  K. Tanaka
- Organizer
  10th Asian Logic Conference
- Place of Presentation
  神戸, 神戸大学
- Year and Date
  2008-09-02
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] Determinacy, Ramsey Property and Π^1_2-comprehension2008
- Author(s)
  K. Tanaka
- Organizer
  the 10th Asian Logic Conference
- Place of Presentation
  Kobe
- Year and Date
  2008-09-02
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] Determinacy, Ramsey property and $Pi^l 2$-comprehension2008
- Author(s)
  田中一之
- Organizer
  Asian Logic Conference 2008 Kobe
- Place of Presentation
  神戸大学
- Year and Date
  2008-09-03
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] The computational complexity of game trees by eigen-distribution, Combinatorial Optimization and Applications2007
- Author(s)
  K. Tanaka
- Organizer
  First International Conference, COCOA 2007
- Place of Presentation
  中国西安, 西安交通大学
- Year and Date
  2007-08-14
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] The Computational Complexity of Game Trees by Eigen-Distribution2007
- Author(s)
  田中一之, 劉晨光
- Organizer
  International Conference on Combinatorial Optimization and Applications(COCOA)
- Place of Presentation
  西安交通大学,中国
- Year and Date
  2007-08-14
- Data Source
  KAKENHI-PROJECT-19340019
[Presentation] Reverse Mathematics and Nonstandard Proof Mathods
- Author(s)
  K. Tanaka
- Organizer
  Workshop on Logic
- Place of Presentation
  Ghent Univ., Belgium
- Invited
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Reverse Mathematics on Measure-Theoretic Probability (Plenary talk)
- Author(s)
  K. Tanaka
- Organizer
  Asian Logic Conference
- Place of Presentation
  Guangzhou, China
- Invited
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Infinite Games and Reverse Mathematics
- Author(s)
  K. Tanaka
- Organizer
  Fourth Workshop on Game-Theoretic Probability and Related Topics
- Place of Presentation
  東京大学情報理工
- Invited
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Reverse Mathematics on Measure-Theoretic Probability (Plenary talk)
- Author(s)
  K. Tanaka
- Organizer
  Asian Logic Conference
- Place of Presentation
  Guangzhou, China
- Invited
- Data Source
  KAKENHI-PROJECT-23650001

1. 吉野崇 (50005774)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
2. YAMAZAKI Takeshi (30336812)

# of Collaborated Projects: 4 results

# of Collaborated Products: 12 results
3. 長澤壯之 (70202223)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
4. MASANAO Ozawa (40126313)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
5. KASHIMA Ryo (10240756)

# of Collaborated Projects: 4 results

# of Collaborated Products: 1 results
6. NAKAMURA Tetsuo (90016147)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. KURODA Satoru (30300586)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. 鈴木義也 (30005772)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
9. 山上滋 (90175654)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
10. 岡田正己 (00152314)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. HATTORI Tetsuya (10180902)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. SHINODA Juichi (30022685)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. HORAI Masako (00015588)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
14. OGATA Syoetsu (90177113)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
15. HIAI Fumio (30092571)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
16. OBATA Nobuaki (10169360)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. HOTTA Masahiro (60261541)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
18. SUZUKI Toshio (30235973)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
19. KUMABE Masahiro (70255173)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
20. TADAKI Kohtaro (70407881)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
21. YOKOYAMA Keita (10534430)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
22. KAKUDA Yuzuru (50031365)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
23. YASUMOTO Masahiro (10144114)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
24. AKAMA Yohji (30272454)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
25. MORITA Yasuo (20011653)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
26. 清水悟 (90178971)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
27. 木原貴行 (80722701)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
28. 根元多佳子 (20546155)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
29. PELUPESSY FLORIAN

# of Collaborated Projects: 2 results

# of Collaborated Products: 6 results
30. FRITTAION EMANUELE

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
31. KANEKO Makoto (10007172)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. KAMAE Tetsuro (80047258)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. MOTOHASHI Nobuyoshi (70015874)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. KAMO Sizuo (30128764)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. HAYASHI Susumu (40156443)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. MATSUBARA Yo (30242788)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. HASEGAWA Ryu (20243107)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. TATSUTA Makoto (80216994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. ODA Tadao (60022555)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. SAITO Takeshi (70201506)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. TAKEDA Masayoshi (30179650)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. SATOH Atsusi (30241516)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. 小島定吉 (90117705)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. 塩路直樹 (50215943)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
46. LOPEZ LUIS M (20211667)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
47. 高橋渉 (40016142)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
48. 内田興二 (20004294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
49. 押切源一 (70133931)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
50. 高橋譲嗣 (30197149)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
51. 八杉舶満利子 (90022277)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
52. 廣川佐千男 (40126785)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
53. 菊池誠 (60273801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
54. 志甫淳 (30292204)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
55. 石田正典 (30124548)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
56. 高橋豊文 (20004400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
57. 宮部賢志 (00583866)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
58. HORIHATA Yoshihiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
59. 小沢正直

# of Collaborated Projects: 0 results

# of Collaborated Products: 5 results

TANAKA Kazuyuki 田中 一之

Tanaka Kazuyuki 田中 一之

田中 一之 タナカ カズユキ

Research Projects

Research Products

Co-Researchers

様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Phase transitions of provability and supercritical propositions of reverse mathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

New formal methods based on game semantics and their descriptive hierarchyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

逆数学と組合せ理論Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

具体的な数学の不完全性の強弱Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computational Aspects of Randomness and Their Structural Analysis via Nonstandard MethodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Towards construction of a new computation model based on quantum mechanicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Marriage of non-standard analysis and computability theory toward the light of algorithmic randomnessPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Comparative studies on nonstandard methods and constructive methodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on logical structures of arithmetic and computationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

TANAKA Kazuyuki 田中一之

Tanaka Kazuyuki 田中一之

田中一之タナカカズユキ