• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

KIHARA Takayuki  木原 貴行

ORCIDConnect your ORCID iD *help
… 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
  • Research Projects

    (6 results)
  • Research Products

    (48 results)
  • Co-Researchers

    (8 People)
  •  連続な空間上の計算とその複雑さの研究

    • 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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi