• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

木原 貴行  KIHARA Takayuki

ORCIDORCID連携する *注記
研究者番号 80722701
その他のID
所属 (現在) 2025年度: 名古屋大学, 情報学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2024年度: 名古屋大学, 情報学研究科, 准教授
2017年度 – 2018年度: 名古屋大学, 情報学研究科, 講師
審査区分/研究分野
研究代表者
小区分12030:数学基礎関連 / 数学基礎・応用数学
研究代表者以外
小区分60010:情報学基礎論関連 / 合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連 / 小区分60020:数理情報学関連 / 数学基礎・応用数学
キーワード
研究代表者
計算可能性理論 / 計算可能トポロジー / 実現可能性 / エフェクティブ・トポス / Lawvere-Tierney位相 / 構成的逆数学 / 数学基礎論 / Weihrauch次数 / 決定性公理 / 領域理論 … もっと見る / 逆数学 / 記述集合論 / 幾何様相 / チューリング次数 / 表現空間 / 実現可能性トポス / 綜合位相 / 構成的数学 / 次数の理論 / 直観主義集合論 / クラスカルの木の定理 / 超算術的階層 / 余解析的集合 / 整列擬順序 / ヴェブレン階層 / 定義可能性 / 位相空間 / 擬ポーランド空間 / 計算可能位相 / 高階計算可能性 / ベター擬順序 / 実効トポス / 次数スペクトル / 高階計算 / 構成可能宇宙 / 一般位相空間論 / 高階関数 / フラクタル次元 / 位相次元論 / コルモゴロフ複雑性 / 再帰理論 / 計算可能解析学 … もっと見る
研究代表者以外
逆数学 / プログラム抽出 / 計算複雑さ / 厳密実数計算 / 計算可能解析学 / 確率ゲーム / 様相ミュー計算 / モデル検査 / 確率的推論 / 無限ゲーム / 様相μ計算 / 数理論理学 / 数学基礎論 / ランダム決定木 / ゲームの決定性 / 超準モデル / 計算可能性理論 / 証明論 隠す
  • 研究課題

    (6件)
  • 研究成果

    (79件)
  • 共同研究者

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

    • 研究代表者
      立木 秀樹
    • 研究期間 (年度)
      2023 – 2027
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60010:情報学基礎論関連
      小区分60020:数理情報学関連
      合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連
    • 研究機関
      京都大学
  •  幾何様相に基づく構成的逆数学の新展開研究代表者

    • 研究代表者
      木原 貴行
    • 研究期間 (年度)
      2022 – 2025
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12030:数学基礎関連
    • 研究機関
      名古屋大学
  •  様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析

    • 研究代表者
      田中 一之
    • 研究期間 (年度)
      2021 – 2022
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      東北大学
  •  計算可能性理論,記述集合論,位相空間論における階層の究極的解析研究代表者

    • 研究代表者
      木原 貴行
    • 研究期間 (年度)
      2019 – 2022
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12030:数学基礎関連
    • 研究機関
      名古屋大学
  •  空間に付随する計算論的構造の不変量としての側面研究代表者

    • 研究代表者
      木原 貴行
    • 研究期間 (年度)
      2017 – 2018
    • 研究種目
      研究活動スタート支援
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      名古屋大学
  •  証明可能性の相転移と逆数学の超臨界

    • 研究代表者
      田中 一之
    • 研究期間 (年度)
      2015 – 2019
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      東北大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017

すべて 雑誌論文 学会発表

  • [雑誌論文] Ideal presentations and numberings of some classes of effective quasi-Polish spaces2024

    • 著者名/発表者名
      de Brecht Matthew、Kihara Takayuki、Selivanov Victor
    • 雑誌名

      Computability

      巻: Pre-press ページ: 1-24

    • DOI

      10.3233/com-230442

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11166, KAKENHI-PROJECT-22K03401
  • [雑誌論文] On the main scientific achievements of Victor Selivanov2023

    • 著者名/発表者名
      Bazhenov Nikolay、Kihara Takayuki、Selivanova Svetlana、Spreen Dieter
    • 雑誌名

      Computability

      巻: 12 号: 4 ページ: 301-314

    • DOI

      10.3233/com-230951

    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [雑誌論文] Lawvere-Tierney topologies for computability theorists2023

    • 著者名/発表者名
      Kihara Takayuki
    • 雑誌名

      Transactions of the American Mathematical Society, Series B

      巻: 10 号: 2 ページ: 48-85

    • DOI

      10.1090/btran/134

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
  • [雑誌論文] De Groot Duality for Represented Spaces2023

    • 著者名/発表者名
      Kihara Takayuki、Pauly Arno
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 13967 ページ: 89-101

    • DOI

      10.1007/978-3-031-36978-0_8

    • ISBN
      9783031369773, 9783031369780
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [雑誌論文] Degree spectra of homeomorphism types of compact Polish spaces2023

    • 著者名/発表者名
      Hoyrup Mathieu、Kihara Takayuki、Selivanov Victor
    • 雑誌名

      The Journal of Symbolic Logic

      巻: in press ページ: 1-32

    • DOI

      10.1017/jsl.2023.93

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [雑誌論文] Topological reducibilities for discontinuous functions and their structures2022

    • 著者名/発表者名
      Kihara Takayuki
    • 雑誌名

      Israel Journal of Mathematics

      巻: 252 号: 1 ページ: 461-500

    • DOI

      10.1007/s11856-022-2367-6

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
  • [雑誌論文] Point Degree Spectra of Represented Spaces2022

    • 著者名/発表者名
      Kihara Takayuki、Pauly Arno
    • 雑誌名

      Forum of Mathematics, Sigma

      巻: 10 ページ: 1-27

    • DOI

      10.1017/fms.2022.7

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602
  • [雑誌論文] Wadge-like degrees of Borel bqo-valued functions2022

    • 著者名/発表者名
      Kihara Takayuki、Selivanov Victor
    • 雑誌名

      Proceedings of the American Mathematical Society

      巻: 150 号: 9 ページ: 3989-4003

    • DOI

      10.1090/proc/15930

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
  • [雑誌論文] Enumerating Classes of Effective Quasi-Polish Spaces2022

    • 著者名/発表者名
      M. de Brecht, T. Kihara, & V. Selivanov
    • 雑誌名

      Revolutions and Revelations in Computability (CiE 2022), Lecture Notes in Computer Science

      巻: 13359 ページ: 88-102

    • DOI

      10.1007/978-3-031-08740-0_8

    • ISBN
      9783031087394, 9783031087400
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11166, KAKENHI-PROJECT-22K03401, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
  • [雑誌論文] A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES2021

    • 著者名/発表者名
      D’AURIAC PAUL-ELLIOT ANGLES、KIHARA TAKAYUKI
    • 雑誌名

      The Journal of Symbolic Logic

      巻: 86 号: 4 ページ: 1452-1485

    • DOI

      10.1017/jsl.2021.37

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
  • [雑誌論文] Computability of Subsets of Metric Spaces2021

    • 著者名/発表者名
      Iljazovic Zvonko、Kihara Takayuki
    • 雑誌名

      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

      巻: 1 ページ: 29-69

    • DOI

      10.1007/978-3-030-59234-9_2

    • ISBN
      9783030592332, 9783030592349
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [雑誌論文] Turing degrees in Polish spaces and decomposability of Borel functions2020

    • 著者名/発表者名
      Gregoriades Vassilios、Kihara Takayuki、Ng Keng Meng
    • 雑誌名

      Journal of Mathematical Logic

      巻: 21 号: 01 ページ: 1-41

    • DOI

      10.1142/s021906132050021x

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-23K21641
  • [雑誌論文] The Brouwer invariance theorems in reverse mathematics2020

    • 著者名/発表者名
      Kihara Takayuki
    • 雑誌名

      Forum of Mathematics, Sigma

      巻: 8 ページ: 1-12

    • DOI

      10.1017/fms.2020.52

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
  • [雑誌論文] Searching for an analogue of ATR_0 in the Weihrauch lattice2020

    • 著者名/発表者名
      Takayuki Kihara, Alberto Marcone, and Arno Pauly
    • 雑誌名

      The Journal of Symbolic Logic

      巻: -

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [雑誌論文] Decomposing functions of Baire class 2 on Polish spaces2020

    • 著者名/発表者名
      Ding Longyun、Kihara Takayuki、Semmes Brian、Zhao Jiafei
    • 雑誌名

      The Journal of Symbolic Logic

      巻: 85 号: 3 ページ: 960-971

    • DOI

      10.1017/jsl.2020.57

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
  • [雑誌論文] Searching for an analogue of ATR_0 in the Weihrauch lattice2020

    • 著者名/発表者名
      T. Kihara, A. Marcone, and A. Pauly
    • 雑誌名

      Journal of Symbolic Logic

      巻: -

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [雑誌論文] Degrees of non-computability of homeomorphism types of Polish spaces2020

    • 著者名/発表者名
      Hoyrup Mathieu、Kihara Takayuki、Selivanov Victor
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 12098 ページ: 189-192

    • DOI

      10.1007/978-3-030-51466-2_16

    • ISBN
      9783030514655, 9783030514662
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [雑誌論文] On a metric generalization of the tt-degrees and effective dimension theory2019

    • 著者名/発表者名
      Takayuki Kihara
    • 雑誌名

      The Journal of Symbolic Logic

      巻: 印刷中 号: 02 ページ: 726-749

    • DOI

      10.1017/jsl.2019.18

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738, KAKENHI-PROJECT-19K03602, KAKENHI-PROJECT-15H03634
  • [雑誌論文] On the structure of the Wadge degrees of bqo-valued Borel functions2019

    • 著者名/発表者名
      Takayuki Kihara, and Antonio Montalban
    • 雑誌名

      Transactions of the American Mathematical Society

      巻: 371 号: 11 ページ: 7885-7923

    • DOI

      10.1090/tran/7621

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738, KAKENHI-PROJECT-15H03634
  • [雑誌論文] Finite choice, convex choice and sorting2019

    • 著者名/発表者名
      T. Kihara and A. Pauly
    • 雑誌名

      Proceedings of TAMC 2019, Lecture Notes in Computer Science

      巻: 11436 ページ: 378-393

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [雑誌論文] Finite Choice, Convex Choice and Sorting2019

    • 著者名/発表者名
      Takayuki Kihara, and Arno Pauly
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 11436 ページ: 378-393

    • DOI

      10.1007/978-3-030-14812-6_23

    • ISBN
      9783030148119, 9783030148126
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [雑誌論文] The uniform Martin’s conjecture for many-one degrees2018

    • 著者名/発表者名
      Kihara Takayuki, Montalban Antonio
    • 雑誌名

      Transactions of the American Mathematical Society

      巻: 掲載決定済 号: 12 ページ: 9025-9044

    • DOI

      10.1090/tran/7519

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [雑誌論文] The uniform Martin's conjecture for many-one degrees2018

    • 著者名/発表者名
      Takayuki Kihara and Antonio Montalban
    • 雑誌名

      Transactions of the American Mathematical Society

      巻: 印刷中

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [雑誌論文] The binary expansion and the intermediate value theorem in constructive reverse mathematics2018

    • 著者名/発表者名
      Josef Berger, Hajime Ishihara, Takayuki Kihara, and Takako Nemoto
    • 雑誌名

      Archive for Mathematical Logic

      巻: 58 号: 1-2 ページ: 203-217

    • DOI

      10.1007/s00153-018-0627-2

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [雑誌論文] Higher randomness and lim-sup forcing within and beyond hyperarithmetic2017

    • 著者名/発表者名
      Kihara Takayuki
    • 雑誌名

      Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore:

      巻: 33 ページ: 117-155

    • DOI

      10.1142/9789813223523_0006

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] On the Wadge degrees of Borel partitions2024

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The 45th Nankai Logic Colloquium
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] 計算可能な方法では得られない同相型2024

    • 著者名/発表者名
      木原貴行
    • 学会等名
      第58回 MLG 数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] De Groot duality for represented spaces2023

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      RIMS workshop: New frontiers of proof and computation
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] 構成的逆数学とLawvere-Tierney位相2023

    • 著者名/発表者名
      木原貴行
    • 学会等名
      数理論理学と構成的数学に関するワークショップ
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] More on the Intuitionistic Borel Hierarchy2023

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] 計算可能数学のトポスとLawvere-Tierney位相2023

    • 著者名/発表者名
      木原貴行
    • 学会等名
      第8回山陰基礎論と数学およびその周辺の研究集会
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] Topos-theoretic aspect of the degrees of unsolvability2023

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      From omega to Omega
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] On Eight Variants of Formal Church’s Thesis2023

    • 著者名/発表者名
      Takayuki Kihara, Keng Meng Ng
    • 学会等名
      CCR2023: 16th International Conference on Computability, Complexity and Randomness
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] 構成的逆数学とLawvere-Tierney位相2022

    • 著者名/発表者名
      木原貴行
    • 学会等名
      数理論理学と構成的数学に関するワークショップ
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies2022

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Computability in Europe 2022
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K21641
  • [学会発表] 計算可能数学のトポスとLawvere-Tierney位相2022

    • 著者名/発表者名
      木原貴行
    • 学会等名
      証明論シンポジウム2022
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Turing 次数から実効トポス上の Lawvere-Tierney 位相へ2022

    • 著者名/発表者名
      木原貴行
    • 学会等名
      Symposium on Advances in Mathematical Logic 2022
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] 計算可能数学のトポスとLawvere-Tierney位相2022

    • 著者名/発表者名
      木原貴行
    • 学会等名
      証明論シンポジウム2022
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies2022

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The 18th conference on Computability in Europe: Revolutions and Revelations in Computability
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] Turing 次数から実効トポス上の Lawvere-Tierney 位相へ2022

    • 著者名/発表者名
      木原貴行
    • 学会等名
      Symposium on Advances in Mathematical Logic 2022
    • 招待講演
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Weihrauch reducibility on multi-represented spaces2022

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      International Conference on Computability, Complexity, and Randomness 2022
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies2022

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The 18th conference on Computability in Europe: Revolutions and Revelations in Computability
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Recent development on the Wadge degrees of Borel functions2022

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Fourth Workshop on Digitalization and Computable Models
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-22K03401
  • [学会発表] Weihrauch reducibility on multi-represented spaces2022

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      International Conference on Computability, Complexity, and Randomness 2022
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Recent development on the Wadge degrees of Borel functions2022

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Fourth Workshop on Digitalization and Computable Models
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] 計算可能数学のトポスとLawvere-Tierney位相2022

    • 著者名/発表者名
      木原貴行
    • 学会等名
      第8回山陰基礎論と数学およびその周辺の研究集会
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Lawvere-Tierney topologies for computability theorists2021

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      CCC2021: Continuity, Computability, Constructivity From Logic to Algorithms
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Lawvere-Tierney topologies for computability theorists2021

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Third Workshop on Digitalization and Computable Models
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] 計算可能性と定義可能性による階層構造/この10年で何が起こったか2021

    • 著者名/発表者名
      木原貴行
    • 学会等名
      2021年度 日本数学会 秋季総合分科会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Computability theory and reverse mathematics via Lawvere-Tierney topologies2021

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Algorithmic Presentations in Mathematics
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] 計算可能性と定義可能性による階層構造/この10年で何が起こったか2021

    • 著者名/発表者名
      木原貴行
    • 学会等名
      日本数学会 秋季総合分科会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K21641
  • [学会発表] Around the Wadge rank $\omega_2$2021

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Japan-Russia Workshop on Effective Descriptive Set Theory, Computable Analysis and Automata
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] New directions in synthetic descriptive set theory2021

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Dagstuhl Seminar on Descriptive Set Theory and Computable Topology
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Some Lifschitz-like realizability notions separating non-constructive principles2021

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Fourth Workshop on Mathematical Logic and its Applications
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] HYP with finite mind-changes2021

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Oberwolfach Workshop on Computability Theory
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Lawvere-Tierney topologies for computability theorists, an introduction2021

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The second Japan-Russia workshop on effective descriptive set theory, computable analysis and automata
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Degrees of non-computability of homeomorphism types of Polish spaces2020

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Computability in Europe 2020, Salerno, Italy, June 29-July 3, 2020
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [学会発表] Degrees of non-computability of homeomorphism types of Polish spaces2020

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Computability in Europe 2020, Beyond the horizon of computability
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Computability theoretic methods in descriptive set theory2019

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The Sixteenth Asian Logic Conference
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] BQO-Wadge degrees on nonseparable ultrametric spaces and computability on uncountable cardinals2019

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Higher Recursion Theory and Set Theory
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-19K03602
  • [学会発表] Computability-theoretic methods in descriptive set theory2019

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      16th Asian Logic Conference 2019, Kazakhstan, June 17-21, 2019
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [学会発表] The Brouwer Invariance Theorems in Reverse Mathematics2019

    • 著者名/発表者名
      T. Kihara
    • 学会等名
      The 9th Computability Theory and Foundations of Mathematics 2019, Wuhan
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [学会発表] The Brouwer invariance theorems in reverse mathematics2019

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The 9th International Conference on Computability Theory and Foundations of Mathematics
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] The ultimate analysis of some hierarchies under AD+2018

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      手形L4研究集会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Ordinal ranks on the Baire and non-Baire class functions2018

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The second workshop on Mathematical Logic an Applications
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Degrees of non-computability of points in general spaces2018

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Thirteenth International Conference on Computability, Complexity and Randomness
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Weihrauch Counterparts of Reverse Mathematical Principles2018

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The 2018 North American Annual Meeting of the Association for Symbolic Logic
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] On the structure of the Wadge degrees of BQO-valued Borel functions2018

    • 著者名/発表者名
      T. Kihara
    • 学会等名
      The Logic Colloquium 2018, Italy
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [学会発表] On the Structure of the Wadge degrees of BQO-valued Borel functions2018

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Weihrauch counterparts of reverse mathematical principles2018

    • 著者名/発表者名
      T. Kihara
    • 学会等名
      The 2018 North American Annual Meeting of the Association for Symbolic Logic
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [学会発表] Computability Theoretic Methods in Descriptive Set Theory2018

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Symposium on Advances in Mathematical Logic 2018
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Weihrauch reducibility for some 3rd order principles2018

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Topologizing the degree theory2018

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Oberwolfach workshop on Computability Theory
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Wadge-like classifications of real valued functions2017

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Aspects of Computation: in celebration of the research work of Professor Rod Downey
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] 強無限次元カントール多様体による effective forcing について2017

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      RIMS 共同研究「証明論と証明活動」
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Wadge-like classifications of real valued functions2017

    • 著者名/発表者名
      木原貴行
    • 学会等名
      Aspects of Computation at NUS
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H03634
  • [学会発表] Martin-like phenomena in the classification of real-valued functions2017

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      Fourteenth International Conference on Computability and Complexity in Analysis
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] Borel isomorphisms at the second level2017

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The 2nd Pan Pacific International Conference on Topology and Applications
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • [学会発表] De Groot duality in computability theory2017

    • 著者名/発表者名
      Takayuki Kihara
    • 学会等名
      The 15th Asian Logic Conference
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06738
  • 1.  田中 一之 (70188291)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 2.  横山 啓太 (10534430)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  根元 多佳子 (20546155)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  宮部 賢志 (00583866)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  鹿島 亮 (10240756)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  立木 秀樹 (10211377)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  河村 彰星 (20600117)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  THIES HOLGER (50839107)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  ディブレクト マシュー
    共同の研究課題数: 0件
    共同の研究成果数: 2件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi