木原貴行 KIHARA Takayuki

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

連続な空間上の計算とその複雑さの研究
- 研究代表者
  
  立木秀樹
- 研究期間 (年度)
  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
[学会発表] 計算可能性と定義可能性による階層構造／この１０年で何が起こったか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件

木原 貴行 KIHARA Takayuki

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

幾何様相に基づく構成的逆数学の新展開研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

空間に付随する計算論的構造の不変量としての側面研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

証明可能性の相転移と逆数学の超臨界

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On the main scientific achievements of Victor Selivanov2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Lawvere-Tierney topologies for computability theorists2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] De Groot Duality for Represented Spaces2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Degree spectra of homeomorphism types of compact Polish spaces2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Topological reducibilities for discontinuous functions and their structures2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Point Degree Spectra of Represented Spaces2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Wadge-like degrees of Borel bqo-valued functions2022

著者名/発表者名

雑誌名

DOI

木原貴行 KIHARA Takayuki