東北大学教授 田中一之 Ph.D.
最新情報[更新日：2015年3月14日]
[田中講演] １２月1２日 北陸先端大学院大学
詳細はポスター．
[新ポストドク] １１月２７日から イタリア人．
[シンガポール交流] 9月1日-５日 シンガポール国立大学
詳細はJoint Workshop．
[談話会]6月16日 東北大学
講演者：U. Kohlenbach 氏 （Technische Universitat Darmstadt）
講演題目：Proof-theoretic Methods in Nonlinear Analysis
詳しい概要等はこちらの東北大学数学科ホームページをご覧下さい。
[書籍] 『チューリングと超パズル 解ける問題と解けない問題』 東京大学出版会から好評発売中
2013年度以前の活動内容については、左メニュー欄の「過去の活動状況」をご覧ください。
[リンク] セミナー情報はSendai Logicに移行しました
★Facebookページにも情報掲載しています。「いいね！」やコメントお待ちしています。 
[Ｅ-mail] 
(メッセージは田中及び管理者に送信されます)
(メッセージは田中及び管理者に送信されます)