山崎 武

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

研究分野

 
 

Misc

 
Commuting quantum circuits with few outputs are unlikely to be classically simulatable
Takahashi Yasuhiro, Tani Seiichiro, Tanaka Kazuyuki
Computing and combinatorics      2015年
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年
Does truth-table of linear norm reduce the one-query tautologies to a random oracle?
Masahiro Kumabe,Toshio Suzuki
Archive for Mathematical Logic   47(2) 159-180   2008年

書籍等出版物

 
ゲーデルと20世紀の論理学3不完全性定理と算術の体系
東京大学出版会   2007年   
確かさを求めて 数学の基礎についての哲学論考
2007年   

講演・口頭発表等

 
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年   

競争的資金等の研究課題

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