BIMSA > 田中一之
研究员 田中一之

团队: 人工智能和机器学习

办公室: A3-2-306

邮箱: tanaka@bimsa.cn

研究方向: 数理逻辑、数学基础、计算理论、科学哲学

个人主页: https://sendailogic.com/tanaka.html

个人简介

田中一之教授博士毕业于美国加州大学伯克利分校，曾就职于东京工业大学和东北大学，并指导15位博士生和50名硕士生，2022年正式入职BIMSA。他是数理逻辑和计算理论领域的国际知名学者，在反推数学和二阶算术领域开创了新的研究方法，如WKLo的田中嵌入定理和守恒结果的田中公式，取得了一系列奠基性的成果，并将这一研究方向引入日本，将日本的数理逻辑研究推向了世界水平。田中一之教授还致力于模态mu演算，认知逻辑，随机博弈树等交叉领域的研究。

研究兴趣

  • Mathematical logic, foundations of mathematics, theory of computation, philosophy of science.

教育经历

  • - 1978      东京工业大学      信息科学      学士
  • - 1980      东京工业大学      信息科学      硕士
  • - 1986      加州大学伯克利分校      数学      博士

工作经历

  • 2021 - 2022      东北大学数学科学研究联盟中心      教授
  • 2017 - 2018      日本数学会      顾问
  • 2013 - 2015      符号逻辑学会      顾问
  • 2013 - 2018      纯逻辑和应用逻辑年鉴      编辑
  • 2008 - 2009      东北大学数学研究院      院长
  • 2008 - 2017      科学基础论学会      会长
  • 2004 - 2006      东北大学信息学院      副院长
  • 1997 - 2021      东北大学数学研究院      教授
  • 1997 - 1999      日本数学会      顾问
  • 1993 - 1997      东北大学数学研究院      副教授
  • 1991 - 1993      东北大学数学系      副教授
  • 1986 - 1991      东京工业大学信息科学系      助理教授
  • 2022 -      东北大学      名誉教授
  • 2022 -      北京雁栖湖应用数学研究院      研究员

出版物

  • [1] Wenjuan Li, and Kazuyuki Tanaka, Determinacy of probabilistic ω-languages with strict threshold semantics, accepted by RIMS Kokyuroku (2024)
  • [2] Keisuke Yoshii and Kazuyuki Tanaka, Transfinite iterations of Σ11 inductive definitions – Reconsideration of Nemoto’s Conjecture –, accepted by RIMS Kokyuroku(2024)
  • [3] Kazuyuki Tanaka, NingNing Peng, Weiguang Peng, and Wenjuan Li, The equilibria of independent distributions on unbalanced game trees, Computational and Applied Mathematics, 43(5), No. 267 -- 16 pages (2024)
  • [4] 田中一之, 計算理論と数理論理学 (Theory of Computation and Mathematical Logic), 共立出版, 1-299 (2023)
  • [5] Wenjuan Li, and Kazuyuki Tanaka, Second-order logic and related systems: a game-semantical perspective, Mathematical Logic and its Applications (SAML), RIMS Kokyuroku, 2233(2022), 1-19
  • [6] Leonardo Pacheco, and Kazuyuki Tanaka, The alternation hierarchy of the μ-calculus over weakly transitive frames, International Workshop on Logic, Language, Information, and Computation. Cham: Springer International Publishing(2022), 207-220
  • [7] Leonardo Pacheco, and Kazuyuki Tanaka, On the Degrees of Ignorance: via Epistemic Logic and µ-Calculus, Proc. of SOCREAL 2022, 74-78 (2022)
  • [8] Leonardo Pacheco, Wenjuan Li, and Kazuyuki Tanaka, On one-variable fragments of modal µ-calculus, Computability Theory and Foundations of Mathematics 2019 (Wuhan), World-Scientific(2022), 17-45
  • [9] Weiguang Peng, Ningning Peng, and Kazuyuki Tanaka, The eigen-distribution for multi-branching weighted trees on independent distributions, Methodology and Computing in Applied Probability, 24(2022), 277-287
  • [10] Kazuyuki Tanaka, Keisuke Yoshii, Infinite games, inductive definitions and transfinite recursion, Computability Theory and Foundations of Mathematics 2019 (Wuhan), 2019(None), 47 -78 (2022)
  • [11] 田中一之, 山の上のロジック学園---不完全性定理をめぐる2週間の授業日誌 （The Logic Academy on the Mountain: A Two-Week Lesson on the Incompleteness Theorems）, 日本評論社, 1-248 (2019)
  • [12] 田中一之, 数学基礎論序説: 数の体系への論理的アプローチ (Introduction to the Foundations of Mathematics: A Logical Approach to the Number System), 裳華房, 1-386 (2019)
  • [13] Shohei Okisaka, Weiguang Peng, Wenjuan Li, Kazuyuki Tanaka, The eigen-distribution of weighted game trees, Combinatorial optimization and applications. Part I, Lecture Notes in Computer Science, 10627, 286-297 (2017)
  • [14] Weiguang Peng, NingNing Peng, KengMeng Ng, Kazuyuki Tanaka, Yue Yang, Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees, Information Processing Letters (2017)
  • [15] Wenjuan Li, Kazuyuki Tanaka, The determinacy strength of pushdown omega-languages, RAIRO - Theoretical Informatics and Applications, 51(1), 29-50 (2017)
  • [16] Weiguang Peng, Shohei Okisaka, Wenjuan Li, Kazuyuki Tanaka, The uniqueness of eigen-distribution under non-directional algorithms, IAENG International Journal of Computer Science, 43(3) (2016)
  • [17] Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka, Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable, Quantum Information and Computation, 16(3-4), 251-270 (2016)
  • [18] Weiguang Peng, Shohei Okisaka, Wenjuan Li, Kazuyuki Tanaka, The Eigen-distribution for Multi-branching Trees, Proceedings of International Multi-Conference of Engineers and Computer Scientists I, 88-93 (2016)
  • [19] Wenjuan Li, Shohei Okisaka, Kazuyuki Tanaka, Infinite games recognized by 2-stack visibly pushdown automata, RIMS Kokyuroku, 1950, 121-137 (2015)
  • [20] Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, and Kazuyuki Tanaka, Commuting quantum circuits with few outputs are unlikely to be classically simulatable (COCOON 2015), Lecture Notes in Computer Science, 9198, 223--234 (2015)
  • [21] Yasuhiro Takahashi, Takeshi Yamazaki, and Kazuyuki Tanaka, Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates, Quantum Information & Computation, 14(13-14), 1149--1164 (2014)

 

更新时间: 2025-05-20 15:34:25