YAMAZAKI Takeshi

J-GLOBAL         Last updated: Feb 6, 2018 at 03:18
 
Avatar
Name
YAMAZAKI Takeshi
E-mail
yamazakimath.tohoku.ac.jp
URL
http://db.tohoku.ac.jp/whois/e_detail/3e37fcd8d8436776c85dff674d5d6a4a.html
Affiliation
Tohoku University
Section
Graduate School of Science Mathematics
Job title
Associate Professor

Research Areas

 
 

Published Papers

 
Reverse mathematics and order theoretic fixed point theorems
Takashi Sato, Takeshi Yamazaki
Archive for Mathematical Logic   56(3 and 4) 385-396   Mar 2017   [Refereed]
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   [Refereed]
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   [Refereed]
Shota Murakami, Takeshi Yamazaki,Keita Yokoyama
Lecture Notes in Comput. Sci.   8493 324-332   2014   [Refereed]
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   [Refereed]

Books etc

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

Conference Activities & Talks

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

Research Grants & Projects

 
二階算術のモデルについて
The Other Research Programs
Project Year: Apr 2000 - Today
逆数学
The Other Research Programs
Project Year: Apr 2000 - Today

Social Contribution

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