Rchr
J-GLOBAL ID:200901045371606809
Update date: Jan. 30, 2024
Yamazaki Takeshi
ヤマザキ タケシ | Yamazaki Takeshi
Affiliation and department:
Job title:
Associate Professor
Homepage URL (2):
http://db.tohoku.ac.jp/whois/detail/3e37fcd8d8436776c85dff674d5d6a4a.html
,
http://db.tohoku.ac.jp/whois/e_detail/3e37fcd8d8436776c85dff674d5d6a4a.html
Research field (2):
Applied mathematics and statistics
, Basic mathematics
Research keywords (4):
再帰理論
, 超準モデル
, 二階算術
, 逆数学
Research theme for competitive and other funds (9):
- 2000 - 現在 逆数学
- 2000 - 現在 二階算術のモデルについて
- 2011 - 2015 Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
- 2011 - 2012 Towards construction of a new computation model based on quantum mechanics
- 2007 - 2010 Reverse Mathematics and Models of Arithmetic
- 2007 - 2010 Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness
- 2004 - 2006 逆数学および算術の体系に関する研究
- 2004 - 2006 Computability of discontinuous functions-Towards its paradigm
- 2001 - 2003 Comparative studies on nonstandard methods and constructive methods
Show all
Papers (15):
-
Takashi Sato, Takeshi Yamazaki. Reverse mathematics and order theoretic fixed point theorems. Archive for Mathematical Logic. 2017. 56. 3 and 4. 385-396
-
Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka. COMMUTING QUANTUM CIRCUITS WITH FEW OUTPUTS ARE UNLIKELY TO BE CLASSICALLY SIMULATABLE. QUANTUM INFORMATION & COMPUTATION. 2016. 16. 3-4. 251-270
-
Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka. Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable. COMPUTING AND COMBINATORICS. 2015. 9198. 223-234
-
Yasuhiro Takahashi, Kazuyuki Tanaka, Takeshi Yamazaki. Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates. Quantum Inf. Comput. 2015. 14. 13-14. 1149-1164
-
Shota Murakami, Takeshi Yamazaki, Keita Yokoyama. On the Ramseyan factorization theorem. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2014. 8493. 324-332
more...
MISC (1):
-
Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki. Truth-table reductions and minimum sizes of forcing conditions. 数理解析研究所講究録. 2007. 1553. 9--14
Books (2):
-
ゲーデルと20世紀の論理学3不完全性定理と算術の体系
東京大学出版会 2007
-
確かさを求めて 数学の基礎についての哲学論考
2007
Lectures and oral presentations (9):
-
WKL0とPRAのPi^0_2保存性
(AIG 4 2016)
-
Reverse Mathematics and Equilibria of Continuous Games
(Computability Theory and Foundations of Mathematics 2015 2015)
-
Some Fixed Point Theorems and Reverse Mathematics II
(JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics 2015)
-
Some Fixed Point Theorems and Reverse Mathematics
(IMS-JSPS joint workshop 2014)
-
Filters and Reverse Mathematics
(Workshop on Reverse Mathematics and Type Theory 2013)
more...
Professional career (1):
- Doctor of science (Tohoku University)
Association Membership(s) (3):
国際数理科学協会
, The association for Symbolic Logic
, 日本数学会
Return to Previous Page