Rchr
J-GLOBAL ID：200901053699452011
Update date: Jan. 31, 2024
Tanaka Kazuyuki
タナカ カズユキ | Tanaka Kazuyuki
Affiliation and department：
Job title：
Professor
Homepage URL (2)：
http://db.tohoku.ac.jp/whois/detail/24b219b61190ba893feaffb166a3e9d9.html
,
http://db.tohoku.ac.jp/whois/e_detail/24b219b61190ba893feaffb166a3e9d9.html
Research field (2)：
Basic mathematics
, Information theory
Research keywords (3)：
computability theory
, mathematical logic
, foundations of mathematics
Research theme for competitive and other funds (23)：
- 2021 - 2025 様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析
- 2015 - 2020 Phase Transition of Provability and Supercriticality of Reverse Mathematics
- 2014 - 2017 逆数学と組合せ理論
- 2014 - 2017 New formal methods based on game semantics and their descriptive hierarchy
- 2013 - 2016 具体的な数学の不完全性の強弱
- 2011 - 2015 Computational Aspects of Randomness and Non-standard Mathods
- 2011 - 2012 Towards construction of a new computation model based on quantum mechanics
- 2007 - 2011 Fusion of Nonstandard Analysis and Computability Theory
- 2005 - 2008 Mathematical study of quantum information and quantum computing
- 2004 - 2006 Number Theoretic Study of Elliptic Curves
- 2001 - 2003 Comparative studies on nonstandard methods and constructive methods
- 1998 - 1999 STUDY OF THE HEIGHTS AND THE DISTRIBUTION OF RATIONAL POINTS ON ALGEBRAIC VARIETIES
- 1997 - 1999 Studies on logical structures of arithmetic and computation
- 1996 - 1996 関数解析学における組み合わせ構造
- 1995 - 1995 算術の部分体系とそのモデルについての研究
- 1994 - 1995 Comprehensive Study of Recursive Function Theory
- 1994 - 1994 証明論の総合的研究
- 1992 - 1994 COOPERATIVE RESEARCH OF MATHEMATICAL LOGIC AND ITS RELATED FIELDS
- 1993 - 1993 様々な数理モデルとそれらの情報科学への応用
- 1992 - 1992 作用素の不等式とその応用
- 1992 - 1992 関数近似論における飽和理論の研究
- 1991 - 1991 数学における証明の複雑さの研究
- 1990 - 1990 低次元多様体の幾何学とその周辺
Show all
Papers (63)：
-
Weiguang Peng, NingNing Peng, Kazuyuki Tanaka. The eigen-distribution for multi-branching weighted trees on independent distributions. Methodology and Computing in Applied Probability. 2021
-
W. Li, Y. Omata, K. Tanaka. Alternation hierarchies and fragments of modal mu-calculus. 数理解析研究所講究録. 2018. 2083. 98-110
-
Shohei Okisaka, Weiguang Peng, Wenjuan Li, Kazuyuki Tanaka. The eigen-distribution of weighted game trees. Combinatorial optimization and applications. Part I, Lecture Notes in Comput. Sci. 2017. 10627. 286-297
-
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. 125. 41-45
-
Wenjuan Li, Kazuyuki Tanaka. THE DETERMINACY STRENGTH OF PUSHDOWN.- LANGUAGES. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS. 2017. 51. 1. 29-50
ｍore...
MISC (9)：
Books (20)：
-
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
日本評論社 2019 ISBN:9784535789135
-
Logical foundations of mathematics
2019 ISBN:9784785315757
-
逆数学 : 定理から公理を「証明」する
森北出版 2019 ISBN:9784627054516
-
A Beginner's Further Guide to Mathematical Logic
日本評論社 2018
-
メルロ=ポンティ哲学者事典別巻
白水社 2017
ｍore...
Lectures and oral presentations (29)：
-
The equilibria of independent distributions on unbalanced game trees with weights
(武漢理工大学理学院講壇(ZOOM講演) 2020)
-
On eigen-distributions for unbalanced Boolean trees
(中国武漢理工大学理学院講壇 2019)
-
重み付き AND-OR 木の固有分布について
(日本応用数理学会年会;応用論理 2019)
-
Modal mu-calculus and its one-variable hierarchy
(日本数学会秋季総合分科会 2018)
-
ゲームとオートマトンと逆数学
(第19回早稲田大学数学・応用数理談話会 2018)
ｍore...
Professional career (2)：
- Ph.D. (University of California, Berkeley)
- Master of Science (Tokyo Institute of Technology)
Committee career (7)：
Association Membership(s) (3)：
科学基礎論学会
, 記号論理学会 Association for Symbolic Logic
, 日本数学会
