山崎武 YAMAZAKI Takeshi

研究者番号	30336812
その他のID
所属 (現在)	2025年度: 東北大学, 理学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2014年度: 東北大学, 大学院理学研究科, 准教授 2011年度 – 2014年度: 東北大学, 理学(系)研究科(研究院), 准教授 2013年度: 東北大学, 大学院・理学研究科, 准教授 2007年度 – 2010年度: 東北大学, 大学院・理学研究科, 准教授 2005年度 – 2006年度: 東北大学, 大学院・理学研究科, 助教授 … もっと見る 2004年度: 大阪府立大学, 総合科学部, 講師 2003年度: 大阪府立大学, 総合化学部, 助手 2001年度 – 2003年度: 大阪府立大学, 総合科学部, 助手隠す
審査区分/研究分野	研究代表者数学一般(含確率論・統計数学) 研究代表者以外数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) / 情報学基礎
キーワード	研究代表者オメガ-モデル / 帰納的関数論 / 二階算術 / 逆数学 / 弱ケーニッヒの補題 / 超準モデル / オメガーモデル / ランダム / 再帰理論 / オメガモデル / 高階算術 / 計算量理論 … もっと見る研究代表者以外 … もっと見る数学基礎論 / WKL_0 / 2階算術 / 逆数学 / ランダム性 / 計算可能性理論 / Fractals with infinite bases / Proof animation / Limit recursion / Effective Fine convergence of function sequences / Effective sequence of Fine continuous functions / limit / Effective sequence of uniformities / Effective continuity / Computable analysis / ドメイン理論 / Fine-空間 / アナログ計算 / コーディング / Fine位相 / 列計算可能性 / 計算可能性 / 無限のベースのフラクタル / 無限ベースのフラクタル / 証明アニメーション / 極限再帰性 / 関数列の実効的Fine収束 / 実効的Fine連続関数列 / 実効的一様位相列・極限 / 実効的連続性 / 計算可能解析学 / nonstandard method / second order arithmetic / WKLo / 超準的手法 / 量子コンピュータ / 情報基礎 / 量子計算論 / 超準モデル / ロジック / 超準解析隠す

ランダム性の計算的諸相と超準的手法によるその構造解析
- 研究代表者
  
  田中一之
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東北大学
量子力学に基づく新しい計算モデルの構築に向けて
- 研究代表者
  
  田中一之
- 研究期間 (年度)
  2011 – 2012
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  情報学基礎
- 研究機関
  東北大学
超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-
- 研究代表者
  
  田中一之
- 研究期間 (年度)
  2007 – 2010
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東北大学
逆数学のための算術のモデルの研究研究代表者
- 研究代表者
  
  山崎武
- 研究期間 (年度)
  2007 – 2010
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東北大学
逆数学および算術の体系に関する研究研究代表者
- 研究代表者
  
  山崎武
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東北大学
   大阪府立大学
不連続関数の計算可能性-そのパラダイムを目指して-
- 研究代表者
  
  八杉満利子
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  京都産業大学
超準的手法と構成的手法の比較研究
- 研究代表者
  
  田中一之
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東北大学

すべて 2014 2013 2012 2010 2009 2008 2007 2004

すべて雑誌論文学会発表図書

[図書] 『ゲーデルと20世紀の論理学(ロジック)』, 第3巻「不完全性定理と算術の体系」2007
- 著者名/発表者名
  田中一之編, 田中一之, 鹿島亮, 山崎武, 白旗優著
- 総ページ数
  296
- 出版者
  東京大学出版会
- データソース
  KAKENHI-PROJECT-19340019
[雑誌論文] On the Ramseyan factorization theorem2014
- 著者名/発表者名
  S.Murakami, T.Yamazaki and K.Yokoyama
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 8493 ページ: 324-332
- DOI
  10.1007/978-3-319-08019-2_33
- NAID
  120005617819
- ISBN
  9783319080185, 9783319080192
- 査読あり
- データソース
  KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-25887026
[雑誌論文] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014
- 著者名/発表者名
  Y. Takahashi, T. Yamazaki and K. Tanaka
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 14巻ページ: 1149-1164
- NAID
  110009820596
- URL
  http://www.rintonpress.com/journals/qiconline.html#v14n910
- 査読あり
- データソース
  KAKENHI-PROJECT-23650001
[雑誌論文] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014
- 著者名/発表者名
  Y.Takahashi, T.Yamazaki and K.Tanaka
- 雑誌名
  
  Quantum Information and Computation
  
  巻: 14 ページ: 1149-1164
- NAID
  110009820596
- 査読あり
- データソース
  KAKENHI-PROJECT-23340020
[雑誌論文] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2013
- 著者名/発表者名
  Y. Takahashi, T. Yamazaki and K. Tanaka
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 8087 ページ: 801-812
- DOI
  10.1007/978-3-642-40313-2_70
- NAID
  110009820596
- ISBN
  9783642403125, 9783642403132
- 査読あり
- データソース
  KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
[雑誌論文] Relative randomness for Mart in-Loef random sets2012
- 著者名/発表者名
  NingNing Peng, Kojiro Higuchi, Takeshi Ymazaki and Kazuyuki Tanaka
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 7318 ページ: 303-312
- DOI
  10.1007/978-3-642-30870-3_58
- ISBN
  9783642308697, 9783642308703
- 査読あり
- データソース
  KAKENHI-PROJECT-11J03577, KAKENHI-PROJECT-23340020, KAKENHI-PROJECT-23650001
[雑誌論文] A Lemma on K-random Extension2010
- 著者名/発表者名
  N.Peng, T.Yamazaki, K.Tanaka, C.G.Liu
- 雑誌名
  
  Proceedings of ICCEE 2010 (Chengdu)
  
  巻: 7 ページ: 353-357
- 査読あり
- データソース
  KAKENHI-PROJECT-19340019
[雑誌論文] A Lemma on K-random Extension2010
- 著者名/発表者名
  N. Peng, T. Yamazaki, K. Tanaka and C. G. Liu
- 雑誌名
  
  ICCEE 2010 (Chengdu)
  
  巻: v. 7 ページ: 353-357
- 査読あり
- データソース
  KAKENHI-PROJECT-19340019
[雑誌論文] Generalization of complexity oscillations in infinite sequences2008
- 著者名/発表者名
  C. G. Liu, T. Yamazaki, K. Tanaka
- 雑誌名
  
  the 4^<th> International Conference on Natural Computation (ICNC'08), IEEE
  
  ページ: 299-303
- 査読あり
- データソース
  KAKENHI-PROJECT-19340019
[雑誌論文] Does truth-table of linear norm reduce the one-query tautologies to a random oracle2008
- 著者名/発表者名
  M. Kumabe, T. Suzuki and T. Yamazaki
- 雑誌名
  
  Archive for Mathematical Logic
  
  巻: 47 ページ: 159-180
- 査読あり
- データソース
  KAKENHI-PROJECT-19340019
[雑誌論文] Does truth-table of linear norm reduce the one-query tautologies to a random oracle?2008
- 著者名/発表者名
  M. Kumabe, T. Suzuki, T. Yamazaki
- 雑誌名
  
  Arch. Math. Logic 47,no.2
  
  ページ: 159-180
- 査読あり
- データソース
  KAKENHI-PROJECT-19740042
[雑誌論文] The quasi-equivalence between the definitions of partial randomness2008
- 著者名/発表者名
  C. G. Liu, K. Tanaka and T. Yamazaki
- 雑誌名
  
  IEEE
  
  ページ: 371-375
- 査読あり
- データソース
  KAKENHI-PROJECT-19340019
[雑誌論文] Does truth-table of linear norm reduce the on-query tautologies to a random oracle?2008
- 著者名/発表者名
  M. Kumabe, T. Suzuki, T. Yamazaki
- 雑誌名
  
  Arch. Math. Logic 47
  
  巻: no. 2 ページ: 159-180
- 査読あり
- データソース
  KAKENHI-PROJECT-19740042
[雑誌論文] Does truth-table of linear norm reduce the one-query tautologies to a random oracle?2008
- 著者名/発表者名
  M. Kumabe, T. Suzuki, T. Yamazaki
- 雑誌名
  
  Archive for Mathematical Logic 47
  
  ページ: 159-180
- 査読あり
- データソース
  KAKENHI-PROJECT-19340019
[雑誌論文] Generalization of complexity oscillations in infinite sequences2008
- 著者名/発表者名
  C. G. Liu, T. Yamazaki and K. Tanaka
- 雑誌名
  
  IEEE
  
  ページ: 299-303
- 査読あり
- データソース
  KAKENHI-PROJECT-19340019
[雑誌論文] Uniform versions of some axioms of second order Arithmetic2004
- 著者名/発表者名
  Sakamoto, N., Yamazaki, Takeshi
- 雑誌名
  
  Mathematical Logic Quarterly 50-6
  
  ページ: 587-593
- データソース
  KAKENHI-PROJECT-16740057
[雑誌論文] Uniform versions of some axioms of second order arithmetic2004
- 著者名/発表者名
  Sakamoto, N., Yamazaki, Takeshi
- 雑誌名
  
  Mathematical Logic Quarterly 50-6
  
  ページ: 587-593
- データソース
  KAKENHI-PROJECT-16340028
[学会発表] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2013
- 著者名/発表者名
  Y. Takahashi, T. Yamazaki and K. Tanaka
- 学会等名
  The 38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013)
- 発表場所
  オーストリア・Institute of Science and Technology
- 年月日
  2013-09-30
- データソース
  KAKENHI-PROJECT-23650001
[学会発表] Relative randomness for Martin-Loef random sets2012
- 著者名/発表者名
  N. Peng, K. Higuchi, T. Yamazaki and K.Tanaka
- 学会等名
  CiE 2012
- 発表場所
  ケンブリッジ（英国）
- データソース
  KAKENHI-PROJECT-23650001
[学会発表] Relative randomness for Martin-Loef random sets2012
- 著者名/発表者名
  N. Peng, K. Higuchi, T. Yamazaki and K. Tanaka
- 学会等名
  CiE 2012
- 発表場所
  英国ケンブリッジ大学
- 年月日
  2012-06-19
- データソース
  KAKENHI-PROJECT-23650001
[学会発表] Computable Ring Theory and Reverse Mathematics2010
- 著者名/発表者名
  T. Yamazaki
- 学会等名
  Nanyang Technological University Logic Seminar
- 発表場所
  シンガポール
- 年月日
  2010-12-10
- データソース
  KAKENHI-PROJECT-19740042
[学会発表] Computable Ring Theory and Reverse Mathematics2010
- 著者名/発表者名
  山崎武
- 学会等名
  Nanyang Technological University Logic Seminar
- 発表場所
  Nanyang Technological University(シンガポール)
- 年月日
  2010-12-10
- データソース
  KAKENHI-PROJECT-19740042
[学会発表] Topics on Conservation Results2009
- 著者名/発表者名
  山崎武
- 学会等名
  Sendai logic and Philosophy seminar
- 発表場所
  仙台, 松島
- 年月日
  2009-02-24
- データソース
  KAKENHI-PROJECT-19740042
[学会発表] How to define randomness2009
- 著者名/発表者名
  T. Yamazaki
- 学会等名
  Xian University of Technology
- 発表場所
  中国
- 年月日
  2009-10-23
- データソース
  KAKENHI-PROJECT-19740042
[学会発表] Topics on Conservation Results2009
- 著者名/発表者名
  山崎武
- 学会等名
  Sendai logic and Philosophy seminar
- 発表場所
  松島
- 年月日
  2009-02-24
- データソース
  KAKENHI-PROJECT-19740042
[学会発表] 二階算術における代数学の展開2007
- 著者名/発表者名
  佐藤隆, 山崎武, 横山啓太
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  東北大学
- 年月日
  2007-09-24
- データソース
  KAKENHI-PROJECT-19740042
[学会発表] 二階算術における代数学の展開2007
- 著者名/発表者名
  佐藤隆, 山崎武, 横山啓太
- 学会等名
  日本数学階秋期総合分科会
- 発表場所
  東北大学
- 年月日
  2007-09-24
- データソース
  KAKENHI-PROJECT-19740042
[学会発表] More on the partial randomness2007
- 著者名/発表者名
  C. G. Liu, 山崎武
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  東北大学
- 年月日
  2007-09-24
- データソース
  KAKENHI-PROJECT-19740042
[学会発表] More on the partial randomness2007
- 著者名/発表者名
  C.G. Liu, 山崎武
- 学会等名
  日本数学階秋期総合分科会
- 発表場所
  東北大学
- 年月日
  2007-09-24
- データソース
  KAKENHI-PROJECT-19740042

1. 田中一之 (70188291)

共同の研究課題数: 4件

共同の研究成果数: 12件
2. 黒田覚 (30300586)

共同の研究課題数: 3件

共同の研究成果数: 0件
3. 服部哲哉 (10180902)

共同の研究課題数: 2件

共同の研究成果数: 0件
4. 小澤正直 (40126313)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 鈴木登志雄 (30235973)

共同の研究課題数: 2件

共同の研究成果数: 2件
6. 隈部正博 (70255173)

共同の研究課題数: 2件

共同の研究成果数: 2件
7. 只木孝太郎 (70407881)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 鹿島亮 (10240756)

共同の研究課題数: 1件

共同の研究成果数: 1件
9. 横山啓太 (10534430)

共同の研究課題数: 1件

共同の研究成果数: 1件
10. 赤間陽二 (30272454)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 竹田雅好 (30179650)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 森田康夫 (20011653)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 八杉満利子 (90022277)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 辻井芳樹 (90065871)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 森隆一 (00065880)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 山田修司 (30192404)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 立木秀樹 (10211377)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 林晋 (40156443)

共同の研究課題数: 1件

共同の研究成果数: 0件

山崎 武 YAMAZAKI Takeshi

研究課題

研究成果

共同研究者

ランダム性の計算的諸相と超準的手法によるその構造解析

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

量子力学に基づく新しい計算モデルの構築に向けて

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

逆数学のための算術のモデルの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

逆数学および算術の体系に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

不連続関数の計算可能性-そのパラダイムを目指して-

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

超準的手法と構成的手法の比較研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] 『ゲーデルと20世紀の論理学(ロジック)』, 第3巻「不完全性定理と算術の体系」2007

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] On the Ramseyan factorization theorem2014

著者名/発表者名

雑誌名

DOI

NAID

ISBN

データソース

[雑誌論文] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014

著者名/発表者名

雑誌名

NAID

URL

データソース

[雑誌論文] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2013

著者名/発表者名

雑誌名

DOI

NAID

ISBN

データソース

[雑誌論文] Relative randomness for Mart in-Loef random sets2012

著者名/発表者名

雑誌名

DOI

山崎武 YAMAZAKI Takeshi