KIHARA Takayuki 木原貴行

… Alternative Names

Takayuki Kihara 木原貴行

Less

Researcher Number	80722701
Other IDs
Affiliation (Current)	2023: 名古屋大学, 情報学研究科, 准教授
Affiliation (based on the past Project Information) *help	2018 – 2023: 名古屋大学, 情報学研究科, 准教授 2017 – 2018: 名古屋大学, 情報学研究科, 講師
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator Basic Section 60010:Theory of informatics-related / Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related / Basic Section 60020:Mathematical informatics-related / Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator 構成的逆数学 / エフェクティブ・トポス / Lawvere-Tierney位相 / 数学基礎論 / 逆数学 / 記述集合論 / 計算可能性理論 / 幾何様相 / 直観主義集合論 / 計算可能トポロジー … More / クラスカルの木の定理 / 超算術的階層 / 余解析的集合 / 整列擬順序 / ヴェブレン階層 / 擬ポーランド空間 / 実現可能性 / 計算可能位相 / Weihrauch次数 / 決定性公理 / 高階計算 / 領域理論 / 構成可能宇宙 / 一般位相空間論 / 高階関数 / フラクタル次元 / 位相次元論 / コルモゴロフ複雑性 / 再帰理論 / 計算可能解析学 … More Except Principal Investigator 逆数学 / プログラム抽出 / 計算複雑さ / 厳密実数計算 / 計算可能解析学 / 確率ゲーム / 様相ミュー計算 / モデル検査 / 数理論理学 / 数学基礎論 / ランダム決定木 / ゲームの決定性 / 超準モデル / 計算可能性理論 / 証明論 Less

連続な空間上の計算とその複雑さの研究
- Principal Investigator
  
  立木秀樹
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
  Basic Section 60020:Mathematical informatics-related
  Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
- Research Institution
  Kyoto University
幾何様相に基づく構成的逆数学の新展開Principal Investigator
- Principal Investigator
  
  木原貴行
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Nagoya University
様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析
- Principal Investigator
  
  田中一之
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Tohoku University
計算可能性理論，記述集合論，位相空間論における階層の究極的解析Principal Investigator
- Principal Investigator
  
  木原貴行
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Nagoya University
Aspects of computability-theoretic structures as topological invariantsPrincipal Investigator
- Principal Investigator
  
  Takayuki Kihara
- Project Period (FY)
  2017 – 2018
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Nagoya University
Phase transitions of provability and supercritical propositions of reverse mathematics
- Principal Investigator
  
  Tanaka Kazuyuki
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tohoku University

All 2021 2020 2019 2018 2017

All Journal Article Presentation

[Journal Article] Computability of Subsets of Metric Spaces2021
- Author(s)
  Iljazovic Zvonko、Kihara Takayuki
- Journal Title
  
  In: Brattka V., Hertling P. (eds) Handbook of Computability and Complexity in Analysis, Theory and Applications of Computability (In cooperation with the association Computability in Europe). Springer
  
  Volume: 1 Pages: 29-69
- DOI
  10.1007/978-3-030-59234-9_2
- ISBN
  9783030592332, 9783030592349
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Journal Article] A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES2021
- Author(s)
  D’AURIAC PAUL-ELLIOT ANGLES、KIHARA TAKAYUKI
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: 86 Issue: 4 Pages: 1452-1485
- DOI
  10.1017/jsl.2021.37
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634, KAKENHI-PROJECT-19K03602
[Journal Article] Searching for an analogue of ATR_0 in the Weihrauch lattice2020
- Author(s)
  Takayuki Kihara, Alberto Marcone, and Arno Pauly
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Journal Article] Turing degrees in Polish spaces and decomposability of Borel functions2020
- Author(s)
  Gregoriades Vassilios、Kihara Takayuki、Ng Keng Meng
- Journal Title
  
  Journal of Mathematical Logic
  
  Volume: 21 Issue: 01 Pages: 1-41
- DOI
  10.1142/s021906132050021x
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Journal Article] Searching for an analogue of ATR_0 in the Weihrauch lattice2020
- Author(s)
  T. Kihara, A. Marcone, and A. Pauly
- Journal Title
  
  Journal of Symbolic Logic
  
  Volume: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] Degrees of non-computability of homeomorphism types of Polish spaces2020
- Author(s)
  Hoyrup Mathieu、Kihara Takayuki、Selivanov Victor
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12098 Pages: 189-192
- DOI
  10.1007/978-3-030-51466-2_16
- ISBN
  9783030514655, 9783030514662
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Journal Article] The Brouwer invariance theorems in reverse mathematics2020
- Author(s)
  Kihara Takayuki
- Journal Title
  
  Forum of Mathematics, Sigma
  
  Volume: 8 Pages: 1-12
- DOI
  10.1017/fms.2020.52
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
[Journal Article] Decomposing functions of Baire class 2 on Polish spaces2020
- Author(s)
  Ding Longyun、Kihara Takayuki、Semmes Brian、Zhao Jiafei
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: 85 Issue: 3 Pages: 960-971
- DOI
  10.1017/jsl.2020.57
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
[Journal Article] Finite Choice, Convex Choice and Sorting2019
- Author(s)
  Takayuki Kihara, and Arno Pauly
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 11436 Pages: 378-393
- DOI
  10.1007/978-3-030-14812-6_23
- ISBN
  9783030148119, 9783030148126
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Journal Article] On the structure of the Wadge degrees of bqo-valued Borel functions2019
- Author(s)
  Takayuki Kihara, and Antonio Montalban
- Journal Title
  
  Transactions of the American Mathematical Society
  
  Volume: 371 Issue: 11 Pages: 7885-7923
- DOI
  10.1090/tran/7621
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738, KAKENHI-PROJECT-15H03634
[Journal Article] Finite choice, convex choice and sorting2019
- Author(s)
  T. Kihara and A. Pauly
- Journal Title
  
  Proceedings of TAMC 2019, Lecture Notes in Computer Science
  
  Volume: 11436 Pages: 378-393
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] On a metric generalization of the tt-degrees and effective dimension theory2019
- Author(s)
  Takayuki Kihara
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: 印刷中 Issue: 02 Pages: 726-749
- DOI
  10.1017/jsl.2019.18
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
[Journal Article] The uniform Martin’s conjecture for many-one degrees2018
- Author(s)
  Kihara Takayuki, Montalban Antonio
- Journal Title
  
  Transactions of the American Mathematical Society
  
  Volume: 掲載決定済 Issue: 12 Pages: 9025-9044
- DOI
  10.1090/tran/7519
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Journal Article] The uniform Martin's conjecture for many-one degrees2018
- Author(s)
  Takayuki Kihara and Antonio Montalban
- Journal Title
  
  Transactions of the American Mathematical Society
  
  Volume: 印刷中
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Journal Article] The binary expansion and the intermediate value theorem in constructive reverse mathematics2018
- Author(s)
  Josef Berger, Hajime Ishihara, Takayuki Kihara, and Takako Nemoto
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 58 Issue: 1-2 Pages: 203-217
- DOI
  10.1007/s00153-018-0627-2
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Journal Article] Higher randomness and lim-sup forcing within and beyond hyperarithmetic2017
- Author(s)
  Kihara Takayuki
- Journal Title
  
  Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore:
  
  Volume: 33 Pages: 117-155
- DOI
  10.1142/9789813223523_0006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Some Lifschitz-like realizability notions separating non-constructive principles2021
- Author(s)
  Takayuki Kihara
- Organizer
  Fourth Workshop on Mathematical Logic and its Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Lawvere-Tierney topologies for computability theorists2021
- Author(s)
  Takayuki Kihara
- Organizer
  CCC2021: Continuity, Computability, Constructivity From Logic to Algorithms
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Lawvere-Tierney topologies for computability theorists2021
- Author(s)
  Takayuki Kihara
- Organizer
  Third Workshop on Digitalization and Computable Models
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] HYP with finite mind-changes2021
- Author(s)
  Takayuki Kihara
- Organizer
  Oberwolfach Workshop on Computability Theory
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Computability theory and reverse mathematics via Lawvere-Tierney topologies2021
- Author(s)
  Takayuki Kihara
- Organizer
  Algorithmic Presentations in Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Lawvere-Tierney topologies for computability theorists, an introduction2021
- Author(s)
  Takayuki Kihara
- Organizer
  The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Around the Wadge rank $\omega_2$2021
- Author(s)
  Takayuki Kihara
- Organizer
  Japan-Russia Workshop on Effective Descriptive Set Theory, Computable Analysis and Automata
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] 計算可能性と定義可能性による階層構造／この10年で何が起こったか2021
- Author(s)
  木原貴行
- Organizer
  2021年度日本数学会秋季総合分科会
- Invited
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] New directions in synthetic descriptive set theory2021
- Author(s)
  Takayuki Kihara
- Organizer
  Dagstuhl Seminar on Descriptive Set Theory and Computable Topology
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Degrees of non-computability of homeomorphism types of Polish spaces2020
- Author(s)
  Takayuki Kihara
- Organizer
  Computability in Europe 2020, Salerno, Italy, June 29-July 3, 2020
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] Degrees of non-computability of homeomorphism types of Polish spaces2020
- Author(s)
  Takayuki Kihara
- Organizer
  Computability in Europe 2020, Beyond the horizon of computability
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] BQO-Wadge degrees on nonseparable ultrametric spaces and computability on uncountable cardinals2019
- Author(s)
  Takayuki Kihara
- Organizer
  Higher Recursion Theory and Set Theory
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Computability theoretic methods in descriptive set theory2019
- Author(s)
  Takayuki Kihara
- Organizer
  The Sixteenth Asian Logic Conference
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03602
[Presentation] Computability-theoretic methods in descriptive set theory2019
- Author(s)
  Takayuki Kihara
- Organizer
  16th Asian Logic Conference 2019, Kazakhstan, June 17-21, 2019
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] The Brouwer invariance theorems in reverse mathematics2019
- Author(s)
  Takayuki Kihara
- Organizer
  The 9th International Conference on Computability Theory and Foundations of Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] The Brouwer Invariance Theorems in Reverse Mathematics2019
- Author(s)
  T. Kihara
- Organizer
  The 9th Computability Theory and Foundations of Mathematics 2019, Wuhan
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] Weihrauch counterparts of reverse mathematical principles2018
- Author(s)
  T. Kihara
- Organizer
  The 2018 North American Annual Meeting of the Association for Symbolic Logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] Computability Theoretic Methods in Descriptive Set Theory2018
- Author(s)
  Takayuki Kihara
- Organizer
  Symposium on Advances in Mathematical Logic 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] The ultimate analysis of some hierarchies under AD+2018
- Author(s)
  Takayuki Kihara
- Organizer
  手形L4研究集会
- Invited
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Weihrauch reducibility for some 3rd order principles2018
- Author(s)
  Takayuki Kihara
- Organizer
  Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Weihrauch Counterparts of Reverse Mathematical Principles2018
- Author(s)
  Takayuki Kihara
- Organizer
  The 2018 North American Annual Meeting of the Association for Symbolic Logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] On the structure of the Wadge degrees of BQO-valued Borel functions2018
- Author(s)
  T. Kihara
- Organizer
  The Logic Colloquium 2018, Italy
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] On the Structure of the Wadge degrees of BQO-valued Borel functions2018
- Author(s)
  Takayuki Kihara
- Organizer
  The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Topologizing the degree theory2018
- Author(s)
  Takayuki Kihara
- Organizer
  Oberwolfach workshop on Computability Theory
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Ordinal ranks on the Baire and non-Baire class functions2018
- Author(s)
  Takayuki Kihara
- Organizer
  The second workshop on Mathematical Logic an Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Degrees of non-computability of points in general spaces2018
- Author(s)
  Takayuki Kihara
- Organizer
  Thirteenth International Conference on Computability, Complexity and Randomness
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Wadge-like classifications of real valued functions2017
- Author(s)
  木原貴行
- Organizer
  Aspects of Computation at NUS
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H03634
[Presentation] 強無限次元カントール多様体による effective forcing について2017
- Author(s)
  Takayuki Kihara
- Organizer
  RIMS 共同研究「証明論と証明活動」
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Wadge-like classifications of real valued functions2017
- Author(s)
  Takayuki Kihara
- Organizer
  Aspects of Computation: in celebration of the research work of Professor Rod Downey
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Martin-like phenomena in the classification of real-valued functions2017
- Author(s)
  Takayuki Kihara
- Organizer
  Fourteenth International Conference on Computability and Complexity in Analysis
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] Borel isomorphisms at the second level2017
- Author(s)
  Takayuki Kihara
- Organizer
  The 2nd Pan Pacific International Conference on Topology and Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738
[Presentation] De Groot duality in computability theory2017
- Author(s)
  Takayuki Kihara
- Organizer
  The 15th Asian Logic Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06738

1. Tanaka Kazuyuki (70188291)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. 横山啓太 (10534430)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 根元多佳子 (20546155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 宮部賢志 (00583866)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 鹿島亮 (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 立木秀樹 (10211377)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 河村彰星 (20600117)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. THIES HOLGER (50839107)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

KIHARA Takayuki 木原 貴行

Takayuki Kihara 木原 貴行

Research Projects

Research Products

Co-Researchers

連続な空間上の計算とその複雑さの研究

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

幾何様相に基づく構成的逆数学の新展開Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

計算可能性理論，記述集合論，位相空間論における階層の究極的解析Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Aspects of computability-theoretic structures as topological invariantsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Phase transitions of provability and supercritical propositions of reverse mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Computability of Subsets of Metric Spaces2021

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Searching for an analogue of ATR_0 in the Weihrauch lattice2020

Author(s)

Journal Title

Data Source

[Journal Article] Turing degrees in Polish spaces and decomposability of Borel functions2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Searching for an analogue of ATR_0 in the Weihrauch lattice2020

Author(s)

Journal Title

Data Source

[Journal Article] Degrees of non-computability of homeomorphism types of Polish spaces2020

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] The Brouwer invariance theorems in reverse mathematics2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Decomposing functions of Baire class 2 on Polish spaces2020

Author(s)

Journal Title

DOI

KIHARA Takayuki 木原貴行

Takayuki Kihara 木原貴行