TANAKA Kazuyuki

J-GLOBAL         Last updated: Dec 14, 2018 at 17:04
 
Avatar
Name
TANAKA Kazuyuki
URL
http://db.tohoku.ac.jp/whois/e_detail/24b219b61190ba893feaffb166a3e9d9.html
Affiliation
Tohoku University
Section
Graduate School of Science Mathematics
Job title
Professor
Degree
Ph.D.(University of California, Berkeley), Master of Science(Tokyo Institute of Technology)

Research Areas

 
 

Committee Memberships

 
Apr 2017
 - 
Today
日本数学会  評議員
 
Apr 2013
 - 
Today
Annals of Pure and Applied Logic  Editor
 
Apr 2005
 - 
Today
科学基礎論学会  評議員
 
Apr 2008
 - 
Mar 2017
科学基礎論学会  理事
 
Jan 2013
 - 
Dec 2015
Association for Symbolic Logic  Councilor
 

Published Papers

 
Alternation hierarchies and fragments of modal mu-calculus
W. Li, Y. Omata and K. Tanaka
RIMS Kokyuroku   2083 98-110   Aug 2018
W. Peng, N. Peng, K.M. Ng, K. Tanaka and Y. Yang
Information Processing Letters   125 30-34   Sep 2017   [Refereed]
Wenjuan Li and Kazuyuki Tanaka
RAIRO-Theor. Inf. Appl.   51(1) 29-50   Jul 2017   [Refereed]
S. Okisaka, W. Peng, W. Li and K. Tanaka
Lecture Notes in Computer Science   10627 286-297   Nov 2017   [Refereed]
The Uniqueness of Eigen-distribution under Non-directional Algorithms
W. Peng, S. Okisaka, W. Li and K. Tanaka
IAENG International Journal of Computer Science   43(3) 318-325   Sep 2016   [Refereed]
The Eigen-distribution for Multi-branching Trees
W. Peng, S. Okisaka, W. Li and K. Tanaka
International MultiConference of Engineers and Computer Scientists   I 88-93   Mar 2016   [Refereed]
Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable
Y. Takahashi, S. Tani, T. Yamazaki and K. Tanaka
Quantum Information and Computation   16(3&4) 251-270   Mar 2016   [Refereed]
Y. Takahashi, S. Tani, T. Yamazaki and K. Tanaka
Computing and Combinatorics, Lecture Notes in Computer Science   9198 223-234   Jun 2015   [Refereed]
Infinite games recognized by 2-stack visibly pushdown automata
Wenjuan Li, Shohei Okisaka and Kazuyuki Tanaka
RIMS Kokyuroku   1950 121-137   Jun 2015
Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates
Y. Takahashi, T. Yamazaki and K. Tanaka
Quantum Information and Computation   14(13-14) 1149-1164   Oct 2014   [Refereed]

Misc

 
解説『ロジックの世界は、広がり続けている』
田中一之
数学基礎論   191-199   Jan 2017
「webちくま」でネットでも公開されている。
http://www.webchikuma.jp/articles/-/466
ロジックの記法と思考
TANAKA, Kazuyuki
Mathematical Sciences   2017(1) 44-49   Jan 2017
ゲーデルの不完全性定理
田中一之
数学辞典   182-183   Jun 2016
数学者であるとはどのようなことか
田中一之
現代思想   43(18) 68-71   Dec 2015
無限ゲームとオートマトン
田中一之
数学セミナー   53(11) 20-25   Nov 2014

Books etc

 
A Beginner's Further Guide to Mathematical Logic
Raymond M. Smullyan, Kazuyuki Tanaka, Haruyuki Kawabe (Part:Supervisor, 監訳 解説)
日本評論社   Sep 2018   
A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan, Kazuyuki Tanaka, Haruyuki Kawabe (Part:Supervisor, 監訳 解説)
日本評論社   Sep 2017   ISBN:978-4-535-78772-8
Introducing to Logic
Dan Cryan et al., Kazuyuki Tanaka
Kodansha   Mar 2015   
Alan Turing and Meta-Puzzles
Kazuyuki Tanaka
Tokyo University Press   Nov 2013   
Reading Godel
Kazuyuki Tanaka
Tokyo University Press   Apr 2012   

Conference Activities & Talks

 
Logic, Games and Computation II [Invited]
TANAKA Kazuyuki
中国武漢理工大学数学科講演会   31 May 2018   
Infinite Games and mu-Calculus [Invited]
TANAKA Kazuyuki
Logic Seminar at Nanyang Technological University   28 Mar 2018   
無限ゲームとプッシュダウンω言語
田中一之
日本数学会2017年度秋季総合分科会   14 Sep 2017   
Determinacy strength of infinite games in omega-languages recognized by variations of automata
IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathmematic   15 Jan 2016   
Phase Transition and Reverse Mathematics
F. Pelupessy
日本数学会2015年度年会   21 Mar 2015   
決定問題の相転移
田中一之
情報処理学会第77回全国大会   17 Mar 2015   
Phase Transition and Reverse Mathematics
F. Pelupessy
日本数学会2014年度秋季総合分科会   25 Sep 2014   
Variants of Infinite Games and Their Strenth
IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathmematic   1 Sep 2014   
Reverse Mathematics on Measure-Theoretic Probability
Asian Logic Conference   17 Jun 2013   
Infinite Games and Reverse Mathematics
Forth Workshop on Game-Theoretic Probability and Related Topics   12 Nov 2012   

Research Grants & Projects

 
Phase Transition of Provability and Supercriticality of Reverse Mathematics
Grant-in-Aid for Scientific Research
Project Year: Apr 2015 - Mar 2020
Computational Aspects of Randomness and Non-standard Mathods
Grant-in-Aid for Scientific Research
Project Year: Apr 2011 - Mar 2015
Fusion of Nonstandard Analysis and Computability Theory
Grant-in-Aid for Scientific Research
Project Year: Apr 2007 - Mar 2011

Social Contribution

 
パズルからロジックへ
[Others]  6 Nov 2016
学習院大学で開かれた一般向け講演会.
ロジック特別講演会
[Others]  16 Apr 2015
学習院大学で開かれた一般向け講演会.
ロジックの世界:ミステリー・ツアー
[Others]  24 Mar 2015
書泉グランデで開かれた一般向け講演会.
情報科学研究科セミナー『論理・ゲーム・計算』
[Others]  12 Dec 2014
北陸先端科学技術大学院大学で行なわれた学生・教員一般を対象とした講演会
サイエンスレクチャー『このパズル、解けるかな?』
[Others]  13 Jan 2014
多摩六都科学館で開かれた一般向け講演会.

Others

 
Apr 2014   高次ランダム性と数理論理学
シンガポール国立大学ユニバーシティ・プロフェッサーC.T.Chong 教授と
の共同研究.シンガポールの研究グループと日本の数学基礎論研究者の間で研究者の交流を進めるとともに,その活動を両国以外にもアピールする.
Apr 2011   数学基礎論のニューフロンティア: 無限の計算的諸相
ベルギー(FWO)との二国間共同研究.ヘント大学数学科Weiermann教授の研究グループと日本の数学基礎論研究者の間で研究者の交流を進めるとともに,その活動を両国以外にもアピールする.