YAMAZAKI Takeshi 山崎武

Researcher Number	30336812
Other IDs
Affiliation (Current)	2025: 東北大学, 理学研究科, 准教授
Affiliation (based on the past Project Information) *help	2014: 東北大学, 大学院理学研究科, 准教授 2011 – 2014: 東北大学, 理学(系)研究科(研究院), 准教授 2013: 東北大学, 大学院・理学研究科, 准教授 2007 – 2010: Tohoku University, 大学院・理学研究科, 准教授 2005 – 2006: 東北大学, 大学院・理学研究科, 助教授 … More 2004: 大阪府立大学, 総合科学部, 講師 2003: 大阪府立大学, 総合化学部, 助手 2001 – 2003: 大阪府立大学, 総合科学部, 助手 Less
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Fundamental theory of informatics
Keywords	Principal Investigator オメガ-モデル / 帰納的関数論 / 二階算術 / 逆数学 / 弱ケーニッヒの補題 / 超準モデル / オメガーモデル / ランダム / 再帰理論 / オメガモデル / 高階算術 / 計算量理論 … More Except Principal Investigator … More 数学基礎論 / 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 / 超準的手法 / 量子コンピュータ / 情報基礎 / 量子計算論 / 超準モデル / ロジック / 超準解析 Less

Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Towards construction of a new computation model based on quantum mechanics
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Reverse Mathematics and Models of ArithmeticPrincipal Investigator
- Principal Investigator
  
  YAMAZAKI Takeshi
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
逆数学および算術の体系に関する研究Principal Investigator
- Principal Investigator
  
  山崎武
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
  Osaka Prefecture University
Computability of discontinuous functions-Towards its paradigm
- Principal Investigator
  
  YASUGI Mariko
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyoto Sangyo University
Comparative studies on nonstandard methods and constructive methods
- Principal Investigator
  
  TANAKA Kasuyuki
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University

All 2014 2013 2012 2010 2009 2008 2007 2004

All Journal Article Presentation Book

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

1. TANAKA Kazuyuki (70188291)

# of Collaborated Projects: 4 results

# of Collaborated Products: 12 results
2. KURODA Satoru (30300586)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. HATTORI Tetsuya (10180902)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. OZAWA Masanao (40126313)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. SUZUKI Toshio (30235973)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
6. KUMABE Masahiro (70255173)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
7. TADAKI Kohtaro (70407881)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
9. YOKOYAMA Keita (10534430)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
10. AKAMA Yohji (30272454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. TAKEDA Masayoshi (30179650)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. MORITA Yasuo (20011653)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. YASUGI Mariko (90022277)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. TSUJII Yoshiki (90065871)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. MORI Takakazu (00065880)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. YAMADA Shuji (30192404)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. TSUIKI Hideki (10211377)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. HAYASHI Susumu (40156443)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

YAMAZAKI Takeshi 山崎 武

Research Projects

Research Products

Co-Researchers

Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Towards construction of a new computation model based on quantum mechanics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reverse Mathematics and Models of ArithmeticPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

逆数学および算術の体系に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computability of discontinuous functions-Towards its paradigm

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Comparative studies on nonstandard methods and constructive methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] On the Ramseyan factorization theorem2014

Author(s)

Journal Title

DOI

NAID

ISBN

Data Source

[Journal Article] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014

Author(s)

Journal Title

NAID

URL

Data Source

[Journal Article] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2014

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates2013

Author(s)

Journal Title

DOI

NAID

ISBN

Data Source

[Journal Article] Relative randomness for Mart in-Loef random sets2012

Author(s)

Journal Title

DOI

YAMAZAKI Takeshi 山崎武