田中一之
研究员
团队: 人工智能和机器学习
办公室: 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-03-28 01:57:07