田中 一之

J-GLOBALへ         更新日: 18/09/28 19:47
 
アバター
研究者氏名
田中 一之
 
タナカ カズユキ
URL
http://db.tohoku.ac.jp/whois/detail/24b219b61190ba893feaffb166a3e9d9.html
所属
東北大学
部署
大学院理学研究科・理学部 数学専攻
職名
教授
学位
Ph.D.(カリフォルニア大学バークレー校), 理学修士(東京工業大学)

研究分野

 
 

委員歴

 
2017年4月
 - 
現在
日本数学会  評議員
 
2013年4月
 - 
現在
Annals of Pure and Applied Logic  Editor
 
2005年4月
 - 
現在
科学基礎論学会  評議員
 
2008年4月
 - 
2017年3月
科学基礎論学会  理事
 
2013年1月
 - 
2015年12月
Association for Symbolic Logic  Councilor
 

論文

 
Alternation hierarchies and fragments of modal mu-calculus
W. Li, Y. Omata and K. Tanaka
RIMS Kokyuroku   2083 98-110   2018年8月
W. Peng, N. Peng, K.M. Ng, K. Tanaka and Y. Yang
Information Processing Letters   125 30-34   2017年9月   [査読有り]
Wenjuan Li and Kazuyuki Tanaka
RAIRO-Theor. Inf. Appl.   51(1) 29-50   2017年7月   [査読有り]
S. Okisaka, W. Peng, W. Li and K. Tanaka
Lecture Notes in Computer Science   10627 286-297   2017年11月   [査読有り]
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   2016年9月   [査読有り]
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   2016年3月   [査読有り]
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   2016年3月   [査読有り]
Y. Takahashi, S. Tani, T. Yamazaki and K. Tanaka
Computing and Combinatorics, Lecture Notes in Computer Science   9198 223-234   2015年6月   [査読有り]
Infinite games recognized by 2-stack visibly pushdown automata
Wenjuan Li, Shohei Okisaka and Kazuyuki Tanaka
京都大学数理解析研究所講究録   1950 121-137   2015年6月
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   2014年10月   [査読有り]

Misc

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

書籍等出版物

 
スマリヤン 数理論理学講義 下巻
レイモンド・スマリヤン(原著), 田中一之(監訳)、川辺治之(訳) (担当:監修, 範囲:監訳 解説)
日本評論社   2018年9月   
メルロ=ポンティ哲学者事典別巻
田中 一之 (担当:分担執筆, 範囲:「ゲーデル」(pp.147-149))
白水社   2017年11月   
スマリヤン 数理論理学講義 上巻
レイモンド・スマリヤン(原著), 田中一之(監訳)、川辺治之(訳) (担当:監修, 範囲:監訳 解説)
日本評論社   2017年9月   ISBN:978-4-535-78772-8
ロジックの世界
ダン・クライアン他(原著), 田中一之(訳)
講談社ブルーバックス   2015年3月   
チューリングと超パズル
田中一之
東京大学出版会   2013年11月   

講演・口頭発表等

 
Modal mu-calculus and its one-variable hierarchy
田中一之
日本数学会秋季総合分科会   2018年9月26日   
ゲームとオートマトンと逆数学
田中 一之
第19回早稲田大学数学・応用数理談話会   2018年7月12日   
Logic, Games and Computation II [招待有り]
田中 一之
中国武漢理工大学数学科講演会   2018年5月31日   
重み付きAND-OR木における固有分布の一意性について
田中一之
日本数学会年会   2018年3月29日   
Infinite Games and mu-Calculus [招待有り]
田中 一之
Logic Seminar at Nanyang Technological University   2018年3月28日   
Logic, Games and Computation
田中 一之
中国揚州大学数学科講演会   2017年12月22日   
Logic, Games and Computation [招待有り]
田中 一之
中国武漢理工大学数学科講演会   2017年12月20日   
無限ゲームとプッシュダウンω言語
田中一之
日本数学会2017年度秋季総合分科会   2017年9月14日   
Determinacy strength of infinite games in omega-languages recognized by variations of automata
田中一之
IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathmematic   2016年1月15日   
Phase Transition and Reverse Mathematics
F. Pelupessy and K.Tanaka
日本数学会2015年度年会   2015年3月21日   

競争的資金等の研究課題

 
証明可能性の相転移と逆数学の超臨界
科学研究費補助金
研究期間: 2015年4月 - 2020年3月
ランダム性の計算的諸相と超準的手法
科学研究費補助金
研究期間: 2011年4月 - 2015年3月
超準解析と計算可能性理論の融合
科学研究費補助金
研究期間: 2007年4月 - 2011年3月

社会貢献活動

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

その他

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