田中 一之

J-GLOBALへ         更新日: 18/02/16 19:43
 
アバター
研究者氏名
田中 一之
 
タナカ カズユキ
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
 

論文

 
A non-standard construction of Haar measure and WKLo
K. Tanaka, T. Yamazaki
Journal of Symbolic Logic   65(1) 173-186   2000年3月   [査読有り]
Some conservation results on weak Koenig's lemma
S.Simpson, K.Tanaka, T.Yamazaki,
Ann. Pure Applied Logic   118 87-114   2002年   [査読有り]
The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic
N. Sakamoto, K. Tanaka
Archive for Math. Logic   43(3) 337-349   2004年4月   [査読有り]
Eigen-Distribution on Random Assignments for Game Trees
C. Liu, K. Tanaka
Information Processing Letters   142(2) 73-77   2007年7月   [査読有り]
Δ0(/)3-determinacy, comprehension and induction
M. O. MedSalem, K. Tanaka
Journal of Symbolic Logic   72(2) 452-462   2007年6月   [査読有り]

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月

書籍等出版物

 
チューリングと超パズル
田中一之
東京大学出版会   2013年11月   
ゲーデルに挑む
田中一之
東京大学出版会   2012年4月   
ゲーデルの定理
Torkel Franzen(原著), 田中一之(訳)
みすず書房   2011年3月   
ゲーデルと20世紀の論理学(ロジック)1 ゲーデルの20世紀
田中一之,田中尚夫,鈴木登志雄,飯田隆,竹内外史,八杉満利子 (担当:編者, 範囲:編集,序)
東京大学出版会   2006年7月   
数の体系と超準モデル
田中 一之
2002年   

講演・口頭発表等

 
無限ゲームとプッシュダウンω言語
李文娟
日本数学会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
日本数学会2015年度年会   2015年3月21日   
決定問題の相転移
田中一之
情報処理学会第77回全国大会   2015年3月17日   
Phase Transition and Reverse Mathematics
F. Pelupessy
日本数学会2014年度秋季総合分科会   2014年9月25日   

競争的資金等の研究課題

 
証明可能性の相転移と逆数学の超臨界
科学研究費補助金
研究期間: 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教授の研究グループと日本の数学基礎論研究者の間で研究者の交流を進めるとともに,その活動を両国以外にもアピールする.