-
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 & COMPUTATION 16 (3-4) 251-270 2016年3月
ISSN：1533-7146
-
Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable
査読有り
Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka
COMPUTING AND COMBINATORICS 9198 223-234 2015年
DOI：
10.1007/978-3-319-21398-9_18
ISSN：0302-9743
-
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年
DOI：
10.26421/QIC14.13-14-7
-
On the Ramseyan factorization theorem
査読有り
Shota Murakami, Takeshi Yamazaki, Keita Yokoyama
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8493 324-332 2014年
出版者・発行元：
Springer Verlag
DOI：
10.1007/978-3-319-08019-2_33
ISSN：1611-3349 0302-9743
-
Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates
査読有り
Yasuhiro Takahashi, Takeshi Yamazaki, Kazuyuki Tanaka
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8087 801-812 2013年
DOI：
10.1007/978-3-642-40313-2_70
ISSN：0302-9743 1611-3349
-
Relative randomness for Martin-Löf random sets
査読有り
NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki, Kazuyuki Tanaka
HOW THE WORLD COMPUTES, Lecture Notes in Comput. Sci. 7318 581-588 2012年6月
DOI：
10.1007/978-3-642-30870-3_58
ISSN：0302-9743 1611-3349
-
Generalization of complexity oscillations in infinite sequences
査読有り
ChenGuang Liu, Kazuyuki Tanaka, Takeshi Yamazaki
4th International Conference on Natural Computation (ICNC'08) 299-303 2008年10月
DOI：
10.1109/ICNC.2008.915
-
The quasi-equivalence between the definitions of partial randomness
査読有り
ChenGuang Liu, Kazuyuki Tanaka, Takeshi Yamazaki
4th International Conference on Natural Computation (ICNC'08) 371-375 2008年10月
DOI：
10.1109/ICNC.2008.916
-
Does truth-table of linear norm reduce the one-query tautologies to a random oracle?
査読有り
Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki
ARCHIVE FOR MATHEMATICAL LOGIC 47 (2) 159-180 2008年7月
DOI：
10.1007/s00153-008-0076-4
ISSN：1432-0665
-
Reverse mathematics and weak systems of 0-1 strings for feasible analysis
査読有り
Takeshi Yamazaki
Reverse mathematics 2001 2005年
-
Manipulating the reals in RCAo
査読有り
Kazuyuki Tanaka, Takeshi Yamzaki
Reverse mathematics 2001 2005年
-
Uniform versions of some axioms of second order arithmetic
査読有り
N Sakamoto, T Yamazaki
MATHEMATICAL LOGIC QUARTERLY 50 (6) 587-593 2004年
DOI：
10.1002/malq.200310122
ISSN：0942-5616
-
Some conservation results on weak König's lemma
査読有り
Stephen G. Simpson, Kazuyuki Tanaka, Takeshi Yamazaki
Annals of Pure and Applied Logic 118 (1-2) 87-114 2002年12月
DOI：
10.1016/S0168-0072(01)00121-X
ISSN：0168-0072
-
A non-standard construction of Haar measure and weak König's lemma
査読有り
Kazuyuki Tanaka, Takeshi Yamazaki
Journal of Symbolic Logic 65 (1) 173-186 2000年
出版者・発行元：
Association for Symbolic Logic
DOI：
10.2307/2586530
ISSN：0022-4812
