山崎 武

J-GLOBALへ         更新日: 18/02/06 03:18
 
アバター
研究者氏名
山崎 武
 
ヤマザキ タケシ
eメール
yamazakimath.tohoku.ac.jp
URL
http://db.tohoku.ac.jp/whois/detail/3e37fcd8d8436776c85dff674d5d6a4a.html
所属
東北大学
部署
大学院理学研究科・理学部 数学専攻
職名
准教授

研究分野

 
 

論文

 
Reverse mathematics and order theoretic fixed point theorems
Takashi Sato, Takeshi Yamazaki
Archive for Mathematical Logic   56(3 and 4) 385-396   2017年3月   [査読有り]
Commuting quantum circuits with few outputs are unlikely to be classically simulatable
Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka
Quantum Information and Computation   16(3 and 4) 251-270   2016年   [査読有り]
Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates.
Yasuhiro Takahashi, Kazuyuki Tanaka, Takeshi Yamazaki
Quantum Inf. Comput.   14(13-14) 1149-1164   2015年   [査読有り]
On the Ramseyan factorization theorem
Shota Murakami, Takeshi Yamazaki,Keita Yokoyama
Lecture Notes in Comput. Sci.   8493 324-332   2014年   [査読有り]
Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates
Yasuhiro Takahashi, Kazuyuki Tanaka
Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science. Lecture Notes in Computer Science   808 801-812   2013年   [査読有り]

書籍等出版物

 
ゲーデルと20世紀の論理学3不完全性定理と算術の体系
田中一之,鹿島亮, 山崎武, 白旗優 (担当:共著, 範囲:第II部 逆数学と二階算術)
東京大学出版会   2007年3月   
確かさを求めて 数学の基礎についての哲学論考
田中一之監訳 (担当:共編者, 範囲:第6部)
2007年1月   

講演・口頭発表等

 
WKL0とPRAのPi^0_2保存性
AIG 4   2016年1月10日   
Reverse Mathematics and Equilibria of Continuous Games
Computability Theory and Foundations of Mathematics 2015   2015年9月7日   
Some Fixed Point Theorems and Reverse Mathematics II
JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics   2015年3月6日   
Some Fixed Point Theorems and Reverse Mathematics
IMS-JSPS joint workshop   2014年9月1日   
Filters and Reverse Mathematics
Workshop on Reverse Mathematics and Type Theory   2013年3月   

競争的資金等の研究課題

 
二階算術のモデルについて
その他の研究制度
研究期間: 2000年4月 - 現在
逆数学
その他の研究制度
研究期間: 2000年4月 - 現在

社会貢献活動

 
数学基礎論サマースクール2006
【その他】  2006年8月31日 - 2006年9月2日
証明論に関する専門家を講師として,入門的な内容から最新の話
題まで様々な講義をする.二階算術のモデルについての基礎的な事柄と現在行っている研究の基になる考えについて解説した.