2024/03/16 更新

写真a

キハラ タカユキ
木原 貴行
KIHARA Takayuki
所属
大学院情報学研究科 数理情報学専攻 数理情報基礎論 准教授
大学院担当
大学院情報学研究科
学部担当
情報学部 自然情報学科
職名
准教授
連絡先
メールアドレス

学位 1

  1. 博士(理学) ( 2011年3月   東北大学 ) 

研究キーワード 1

  1. 数理論理学,計算可能性理論,計算可能性解析学,アルゴリズム情報理論,ランダム性,記述集合論,逆数学,数学基礎論

経歴 5

  1. 名古屋大学   大学院情報学研究科 数理情報学専攻   講師

    2017年4月 - 2020年2月

      詳細を見る

    国名:日本国

  2. カリフォルニア大学バークレー校   数学科   JSPS PD

    2015年5月 - 2017年3月

      詳細を見る

    国名:アメリカ合衆国

  3. JAIST   日本学術振興会 特別研究員 PD

    2012年4月 - 2015年3月

      詳細を見る

    国名:日本国

  4. 東北大学   理学研究科 数学専攻   日本学術振興会 特別研究員 PD

    2011年4月 - 2012年3月

      詳細を見る

    国名:日本国

  5. 東北大学   理学研究科 数学専攻   日本学術振興会 特別研究員 DC2

    2010年4月 - 2011年3月

      詳細を見る

    国名:日本国

学歴 3

  1. 東北大学   理学研究科   数学専攻

    2009年4月 - 2011年3月

      詳細を見る

    国名: 日本国

  2. 東北大学   理学研究科   数学専攻

    2007年4月 - 2009年3月

      詳細を見る

    国名: 日本国

  3. 東北大学   理学部   数学科

    2003年4月 - 2007年3月

      詳細を見る

    国名: 日本国

所属学協会 3

  1. 日本数学会

  2. The Association for Symbolic Logic

  3. European Association for Theoretical Computer Science

受賞 3

  1. LA/EATCS JAPAN 発表論文賞

    2013年1月   ヨーロッパ理論計算機学会 日本支部  

    木原貴行

     詳細を見る

    受賞区分:国内学会・会議・シンポジウム等の賞  受賞国:日本国

  2. 博士論文 川井賞

    2011年3月   川井数理科学財団  

    木原貴行

     詳細を見る

    受賞国:日本国

  3. 優秀総説論文賞

    2009年3月   川井数理科学財団  

    木原貴行

     詳細を見る

    受賞国:日本国

 

論文 37

  1. Lawvere-Tierney topologies for computability theorists 査読有り

    Takayuki Kihara

    Transactions of the American Mathematical Society, Series B   10 巻   頁: 48 - 85   2023年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1090/btran/134

  2. Point degree spectra of represented spaces 査読有り 国際共著

    Takayuki Kihara and Arno Pauly

    Forum of Mathematics, Sigma   10 巻 ( e31 ) 頁: 1 - 27   2022年4月

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1017/fms.2022.7

  3. Wadge-like degrees of Borel bqo-valued functions 査読有り 国際共著

    Takayuki Kihara and Victor Selivanov

    Proceedings of the American Mathematical Society   150 巻 ( 9 ) 頁: 3989 - 4003   2022年4月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1090/proc/15930

  4. Topological reducibilities for discontinuous functions and their structures 査読有り

    Takayuki Kihara

    Israel Journal of Mathematics   252 巻   頁: 461 - 500   2022年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1007/s11856-022-2367-6

  5. Turing degrees in Polish spaces and decomposability of Borel functions 査読有り 国際共著

    Vassilios Gregoriades, Takayuki Kihara, Keng Meng Ng

    The Journal of Mathematical Logic   21 巻 ( 1 ) 頁: 41   2021年1月

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1142/S021906132050021X

  6. The Brouwer invariance theorems in reverse mathematics 査読有り

    Takayuki Kihara

    Forum of Mathematics, Sigma   8 巻   頁: 12   2020年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1017/fms.2020.52

  7. On the structure of the Wadge degrees of BQO-valued Borel functions 査読有り 国際共著

    Takayuki Kihara, Antonio Montalban

    Transactions of the American Mathematical Society   371 巻 ( 11 ) 頁: 7885-7923   2019年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1090/tran/7621

  8. The uniform Martin's conjecture for many-one degrees 査読有り 国際共著

    Takayuki Kihara, and Antonio Montalban

    Transactions of the American Mathematical Society   370 巻 ( 12 ) 頁: 9025-9044   2018年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1090/tran/7519

  9. Degree spectra of homeomorphism types of compact Polish spaces 査読有り 国際共著

    Mathieu Hoyrup, Takayuki Kihara and Victor Selivanov

    Journal of Symbolic Logic     2024年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  10. Ideal presentations and numberings of some classes of effective quasi-Polish spaces 査読有り 国際共著

    Matthew de Brecht, Takayuki Kihara and Victor Selivanov

    Computability     2024年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

  11. On the main scientific achievements of Victor Selivanov 国際共著

    Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova and Dieter Spreen

    Computability   12 巻 ( 4 ) 頁: 301 - 314   2023年12月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.3233/COM-230951

  12. De Groot duality for represented spaces 査読有り 国際共著

    Takayuki Kihara and Arno Pauly

    Lecture Notes in Computer Science   13967 巻   頁: 89 - 101   2023年7月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(国際会議プロシーディングス)  

    DOI: https://doi.org/10.1007/978-3-031-36978-0_8

    DOI: https://doi.org/10.1007/978-3-031-36978-0_8

  13. A syntactic approach to Borel functions: Some extensions of Louveau's theorem 査読有り

    Takayuki Kihara and Kenta Sasaki

    Archive for Mathematical Logic   62 巻   頁: 1041 - 1082   2023年6月

     詳細を見る

    担当区分:責任著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: https://doi.org/10.1007/s00153-023-00880-8

    DOI: https://doi.org/10.1007/s00153-023-00880-8

  14. Enumerating classes of effective quasi-Polish spaces 査読有り 国際共著

    Matthew de Brecht, Takayuki Kihara, and Victor Selivanov

    Lecture Notes in Computer Science   13359 巻   頁: 88 - 102   2022年6月

     詳細を見る

    記述言語:英語   掲載種別:研究論文(国際会議プロシーディングス)  

    DOI: https://doi.org/10.1007/978-3-031-08740-0_8

  15. A comparison of various analytic choice principles 査読有り 国際共著

    Paul-Elliot Angles D'auriac, Takayuki Kihara

    Journal of Symbolic Logic     2021年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)   出版者・発行元:Journal of Symbolic Logic  

    We investigate computability theoretic and descriptive set theoretic contents of various kinds of analytic choice principles by performing a detailed analysis of the Medvedev lattice of Σ11-closed sets. Among others, we solve an open problem on the Weihrauch degree of the parallelization of the Σ11-choice principle on the integers. Harrington's unpublished result on a jump hierarchy along a pseudo-well-ordering plays a key role in solving this problem.

    DOI: 10.1017/jsl.2021.37

    Scopus

  16. Decomposing functions of Baire class 2 on Polish spaces 査読有り 国際共著

    Longyun Ding, Takayuki Kihara, Brian Semmes, Jiafei Zhao

    Journal of Symbolic Logic   85 巻 ( 3 ) 頁: 960 - 971   2020年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1017/jsl.2020.57

  17. Degrees of non-computability of homeomorphism types of Polish spaces 査読有り 国際共著

    Mathieu Hoyrup, Takayuki Kihara, Victor Selivanov

    Lecture Notes in Computer Science   12098 巻   頁: 189-192   2020年

     詳細を見る

    記述言語:英語  

    DOI: https://doi.org/10.1007/978-3-030-51466-2_16

  18. Searching for an analogue of ATR0 in the Weihrauch lattice 査読有り 国際共著

    Takayuki Kihara, Alberto Marcone, Arno Pauly

    The Journal of Symbolic Logic   85 巻 ( 3 ) 頁: 1006 - 1043   2020年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1017/jsl.2020.12

  19. The binary expansion and the intermediate value theorem in constructive reverse mathematics 査読有り 国際共著

    Josef Berger, Hajime Ishihara, Takayuki Kihara, and Takako Nemoto

    Archive for Mathematical Logic   58 巻 ( 1-2 ) 頁: 203-217   2019年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s00153-018-0627-2

  20. Finite choice, convex choice and sorting 査読有り 国際共著

    Takayuki Kihara, and Arno Pauly

    Lecture Notes in Computer Science   11436 巻   頁: 378-393   2019年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

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

  21. On a metric generalization of the tt-degrees and effective dimension theory 査読有り

    Takayuki Kihara

    Journal of Symbolic Logic   84 巻 ( 2 ) 頁: 726-749   2019年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1017/jsl.2019.18

  22. Higher randomness and lim-sup forcing within and beyond hyperarithmetic 査読有り

    Takayuki Kihara

    Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap.   33 巻   頁: 117-155   2018年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1142/9789813223523_0006

  23. Dividing by zero -- how bad is it, really? 査読有り 国際共著

    Takayuki Kihara, and Arno Pauly

    Leibniz International Proceedings in Informatics   58 巻   頁: 58:1-58:14   2016年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.4230/LIPIcs.MFCS.2016.58

  24. Borel-piecewise continuous reducibility for uniformization problems 査読有り

    Takayuki Kihara

    Logical Methods in Computer Science.   12 巻 ( 4 ) 頁: 1-35   2016年

     詳細を見る

    担当区分:筆頭著者   記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.2168/LMCS-12(4:4)2016

  25. Decomposing Borel functions using the Shore-Slaman join theorem 査読有り

    Takayuki Kihara

    Fundamenta Mathematicae   230 巻   頁: 1-13   2015年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.4064/fm230-1-1

  26. Comparing the Medvedev and Turing degrees of Π01 classes 査読有り

    Takayuki Kihara

    Mathematical Structures in Computer Science   25 巻 ( 8 ) 頁: 1649-1668   2015年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1017/S0960129513000303

  27. Unified characterizations of lowness properties via Kolmogorov complexity 査読有り

    Takayuki Kihara and Kenshi Miyabe

    Archive for Mathematical Logic   54 巻 ( 3-4 ) 頁: 329-358   2015年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s00153-014-0413-8

  28. Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions 査読有り

    Kojiro Higuchi, and Takayuki Kihara

    Annals of Pure and Applied Logic   165 巻 ( 6 ) 頁: 1201-1241   2014年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.apal.2014.03.001

  29. On the strength of marriage theorems and uniformity 査読有り

    Makoto Fujiwara, Kojiro Higuchi, and Takayuki Kihara

    Mathematical Logic Quarterly   60 巻 ( 3 ) 頁: 136-153   2014年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1002/malq.201300021

  30. On effectively closed sets of effective strong measure zero 査読有り

    Kojiro Higuchi, and Takayuki Kihara

    Annals of Pure and Applied Logic   165 巻 ( 9 ) 頁: 1445-1469   2014年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.apal.2014.04.013

  31. Uniform Kurtz randomness 査読有り

    Takayuki Kihara, and Kenshi Miyabe

    Journal of Logic and Computation   24 巻 ( 4 ) 頁: 863-882   2014年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1093/logcom/ext054

  32. Inside the Muchnik degrees I: Discontinuity, learnability, and constructivism 査読有り

    Kojiro Higuchi, and Takayuki Kihara

    Annals of Pure and Applied Logic   165 巻 ( 5 ) 頁: 1058-1114   2014年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.apal.2014.01.003

  33. Effective strong nullness and effectively closed sets 査読有り

    Kojiro Higuchi, and Takayuki Kihara

    How the World Computes (Turing Centenary Conference, CiE 2012), LNCS   7318 巻   頁: 303-312   2012年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/978-3-642-30870-3_31

  34. Incomputability of simply connected planar continua 査読有り

    Takayuki Kihara

    Computability   1 巻 ( 2 ) 頁: 131-152   2012年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.3233/COM-12012

  35. A hierarchy of immunity and density for sets of reals 査読有り

    Takayuki Kihara

    How the World Computes (Turing Centenary Conference, CiE 2012), LNCS   7318 巻   頁: 384-394   2012年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/978-3-642-30870-3_39

  36. The AE-theory of the effectively closed Medvedev degrees is decidable 査読有り 国際共著

    Joshua A. Cole, and Takayuki Kihara

    Archive for Mathematical Logic   49 巻 ( 1 ) 頁: 1-16   2010年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/s00153-009-0150-6

  37. Immunity and non-cupping for closed sets 査読有り 国際共著

    Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu

    Tbilisi Mathematical Journal   2 巻   頁: 77-94   2009年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

▼全件表示

書籍等出版物 1

  1. Handbook of Computability and Complexity in Analysis 査読有り 国際共著

    Zvonko Iljazovic and Takayuki Kihara( 担当: 分担執筆 ,  範囲: Chapter 2. Computability of Subsets of Metric Spaces)

    Springer  2021年6月  ( ISBN:3030592332

     詳細を見る

    総ページ数:452   担当ページ:40   記述言語:英語 著書種別:学術書

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

MISC 4

  1. 実数の集合論とランダムネス(概説)

    木原貴行  

    京都大学数理解析研究所講究録1832 巻   頁: 97-113   2013年

     詳細を見る

    記述言語:日本語  

  2. ボレル関数の分解問題への計算論の応用

    木原貴行  

    京都大学数理解析研究所講究録1849 巻   頁: 32-36   2013年

     詳細を見る

    記述言語:日本語  

  3. 連続体の計算可能性理論

    木原貴行  

    京都大学数理解析研究所講究録1729 巻   頁: 48-66   2011年

  4. 逆数学と逆再帰理論について

    木原貴行  

    京都大学数理解析研究所講究録1635 巻   頁: 51-59   2009年4月

     詳細を見る

    記述言語:日本語  

講演・口頭発表等 62

  1. On the Wadge degrees of Borel partitions 招待有り 国際会議

    Takayuki Kihara

    Nankai Logic Colloquium  2024年3月1日 

     詳細を見る

    開催年月日: 2024年3月

    記述言語:英語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    開催地:Nankai University, China, Online   国名:中華人民共和国  

  2. 計算可能な方法では得られない同相型

    木原貴行

    第58回 MLG 数理論理学研究集会  2024年2月17日 

     詳細を見る

    開催年月日: 2024年2月

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:東北大学大学院情報学研究科,仙台   国名:日本国  

  3. De Groot duality for represented spaces

    Takayuki Kihara

    RIMS workshop: New frontiers of proof and computation  2023年12月12日 

     詳細を見る

    開催年月日: 2023年12月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:RIMS - Research Institute for Mathematical Sciences, Kyoto University  

  4. アルゴリズム的ランダム性の最近の発展について 招待有り

    木原貴行

    コンピュテーション研究会(COMP)  2023年10月24日 

     詳細を見る

    開催年月日: 2023年10月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    開催地:名古屋大学 ベンチャービジネスラボラトリー  

  5. More on the Intuitionistic Borel Hierarchy 国際会議

    Takayuki Kihara

    CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms  2023年9月27日 

     詳細を見る

    開催年月日: 2023年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Research Institute for Mathematical Sciences, Kyoto University   国名:日本国  

  6. 計算可能数学の圏

    木原貴行

    数学基礎論サマースクール2023  2023年9月13日 

     詳細を見る

    開催年月日: 2023年9月

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    開催地:明治大学駿河台キャンパス  

  7. On Eight Variants of Formal Church’s Thesis 国際共著 国際会議

    Takayuki Kihara and Keng Meng Ng

    CCR2023: 16th International Conference on Computability, Complexity and Randomness  2023年7月13日 

     詳細を見る

    開催年月日: 2023年7月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Lake Kochel, Germany   国名:ドイツ連邦共和国  

  8. Topos-theoretic aspect of the degrees of unsolvability 招待有り 国際会議

    Takayuki Kihara

    From omega to Omega  2023年6月22日 

     詳細を見る

    開催年月日: 2023年6月 - 2023年7月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Institute for Mathematical Sciences, National University of Singapore   国名:シンガポール共和国  

  9. チュートリアル: 計算可能性理論

    木原貴行

    ロジックウィンタースクール2023  2023年2月21日 

     詳細を見る

    開催年月日: 2023年2月

    記述言語:日本語   会議種別:公開講演,セミナー,チュートリアル,講習,講義等  

    開催地:沖縄県青年会館  

  10. 構成的逆数学とLawvere-Tierney位相

    木原貴行

    数理論理学と構成的数学に関するワークショップ  2023年2月17日 

     詳細を見る

    開催年月日: 2023年2月

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:石川県政記念しいのき迎賓館  

  11. 計算可能数学のトポスとLawvere-Tierney位相

    木原貴行

    第8回山陰基礎論と数学およびその周辺の研究集会  2023年1月8日 

     詳細を見る

    開催年月日: 2023年1月

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:米子コンベンションセンター  

  12. 計算可能数学のトポスとLawvere-Tierney位相

    木原貴行

    証明論シンポジウム2022  2022年12月20日 

     詳細を見る

    開催年月日: 2022年12月

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:秋保グランドホテル  

  13. Recent development on the Wadge degrees of Borel functions 招待有り 国際会議

    Takayuki Kihara

    Fourth Workshop on Digitalization and Computable Models  2022年10月28日 

     詳細を見る

    開催年月日: 2022年10月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Novosibirsk and Kazan   国名:ロシア連邦  

  14. Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies 招待有り 国際会議

    Takayuki Kihara

    The 18th conference on Computability in Europe: Revolutions and Revelations in Computability  2022年7月15日 

     詳細を見る

    開催年月日: 2022年7月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Swansea University   国名:グレートブリテン・北アイルランド連合王国(英国)  

  15. Turing 次数から実効トポス上の Lawvere-Tierney 位相へ 招待有り

    Takayuki Kihara

    Symposium on Advances in Mathematical Logic 2022  2022年6月24日 

     詳細を見る

    開催年月日: 2022年6月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    開催地:京都大学数理解析研究所  

  16. Weihrauch reducibility on multi-represented spaces 国際会議

    Takayuki Kihara

    International Conference on Computability, Complexity, and Randomness 2022  2022年6月10日 

     詳細を見る

    開催年月日: 2022年6月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Isaac Newton Institute for Mathematical Sciences   国名:グレートブリテン・北アイルランド連合王国(英国)  

  17. Lawvere-Tierney topologies for computability theorists, an introduction 招待有り 国際会議

    Takayuki Kihara

    The Second Japan-Russia Workshop on Effective Descriptive Set Theoty, Computable Analysis and Automata  2022年3月18日 

     詳細を見る

    開催年月日: 2022年3月

    記述言語:英語   会議種別:口頭発表(基調)  

    開催地:Akita Atorion (hybrid)   国名:日本国  

  18. New directions in synthetic descriptive set theory 招待有り 国際会議

    Takayuki Kihara

    Dagstuhl Seminar, Descriptive Set Theory and Computable Topology 

     詳細を見る

    開催年月日: 2021年11月

    記述言語:英語   会議種別:口頭発表(基調)  

    開催地:Schloss Dagstuhl, Germany   国名:ドイツ連邦共和国  

  19. Computability theory and reverse mathematics via Lawvere-Tierney topologies 招待有り 国際会議

    Takayuki Kihara

    Algorithmic Presentations in Mathematics 

     詳細を見る

    開催年月日: 2021年11月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Sirius Mathematics Center, Sochi,   国名:ロシア連邦  

  20. Lawvere-Tierney topologies for computability theorists 国際会議

    Takayuki Kihara

    Continuity, Computability, Constructivity From Logic to Algorithms 

     詳細を見る

    開催年月日: 2021年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Online  

  21. 計算可能性と定義可能性による階層構造/この10年で何が起こったか 招待有り

    木原貴行

    2021年度 日本数学会 秋季総合分科会 

     詳細を見る

    開催年月日: 2021年9月

    記述言語:日本語   会議種別:口頭発表(招待・特別)  

    開催地:千葉大学 理学部   国名:日本国  

  22. Lawvere-Tierney topologies for computability theorists 招待有り 国際会議

    Takayuki Kihara

    Third Workshop on Digitalization and Computable Models  2021年6月28日 

     詳細を見る

    開催年月日: 2021年6月 - 2021年7月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Novosibirsk and Kazan   国名:ロシア連邦  

  23. HYP with finite mind-changes 国際会議

    Takayuki Kihara

    Oberwolfach Workshop, Computability Theory  2021年4月27日 

     詳細を見る

    開催年月日: 2021年4月 - 2021年5月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Oberwolfach   国名:ドイツ連邦共和国  

  24. Some Lifschitz-like realizability notions separating non-constructive principles 国際会議

    Takayuki Kihara

    Fourth Workshop on Mathematical Logic and its Applications  2021年3月23日 

     詳細を見る

    開催年月日: 2021年3月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Kanazawa, Japan   国名:日本国  

  25. Around the Wadge rank $\omega_2$ 国際会議

    Takayuki Kihara

    Japan-Russia Workshop on Effective Descriptive Set Theory, Computable Analysis and Automata  2021年3月19日  Takayuki Kihara

     詳細を見る

    開催年月日: 2021年3月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Japan Advanced Institute of Science and Technology   国名:日本国  

  26. Degrees of non-computability of homeomorphism types of Polish spaces 招待有り 国際共著 国際会議

    Takayuki Kihara

    Computability in Europe 2020, Beyond the horizon of computability  2020年7月1日 

     詳細を見る

    開催年月日: 2020年6月 - 2020年7月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:University of Salerno   国名:イタリア共和国  

  27. Computability theoretic methods in descriptive set theory 招待有り 国際会議

    Takayuki Kihara

    The Sixteenth Asian Logic Conference 

     詳細を見る

    開催年月日: 2019年6月

    記述言語:英語   会議種別:口頭発表(基調)  

    開催地:Nazarbayev University, Astana, Kazakhstan   国名:カザフスタン共和国  

  28. BQO-Wadge degrees on nonseparable ultrametric spaces and computability on uncountable cardinals 国際会議

    Takayuki Kihara

    Higher Recursion Theory and Set Theory: In celebration of the research work of Professors Theodore A. Slaman and W. Hugh Woodin 

     詳細を見る

    開催年月日: 2019年5月 - 2019年6月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Institute for Mathematical Sciences, National University of Singapore   国名:シンガポール共和国  

  29. The Brouwer invariance theorems in reverse mathematics 招待有り 国際会議

    Takayuki Kihara

    The 9th International Conference on Computability Theory and Foundations of Mathematics 

     詳細を見る

    開催年月日: 2019年3月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Wuhan, China   国名:中華人民共和国  

  30. Degrees of non-computability of points in general spaces 招待有り 国際会議

    Takayuki Kihara

    Thirteenth International Conference on Computability, Complexity and Randomness 

     詳細を見る

    開催年月日: 2018年12月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:チリ共和国  

  31. BQO-Wadge theory on ultrametric spaces 国際会議

    木原貴行

    Sendai Logic School 2018 

     詳細を見る

    開催年月日: 2018年12月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  32. Computability Theoretic Methods in Descriptive Set Theory 国際会議

    Takayuki Kihara

    Symposium on Advances in Mathematical Logic 2018 

     詳細を見る

    開催年月日: 2018年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  33. Weihrauch reducibility for some 3rd order principles 招待有り 国際会議

    Takayuki Kihara

    Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis 

     詳細を見る

    開催年月日: 2018年9月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:ドイツ連邦共和国  

  34. On the Structure of the Wadge degrees of BQO-valued Borel functions 招待有り 国際会議

    Takayuki Kihara

    The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic 

     詳細を見る

    開催年月日: 2018年7月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:イタリア共和国  

  35. Weihrauch Counterparts of Reverse Mathematical Principles 招待有り 国際会議

    Takayuki Kihara

    The 2018 North American Annual Meeting of the Association for Symbolic Logic 

     詳細を見る

    開催年月日: 2018年5月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:アメリカ合衆国  

  36. The ultimate analysis of some hierarchies under AD+ 招待有り

    木原貴行

    手形L4研究集会 

     詳細を見る

    開催年月日: 2018年3月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  37. Ordinal Ranks on the Baire and non-Baire class functions 国際会議

    Takayuki Kihara

    The Second Workshop on Mathematical Logic and its Applications 

     詳細を見る

    開催年月日: 2018年3月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:日本国  

  38. Topologizing the degree theory 招待有り 国際会議

    Takayuki Kihara

    Oberwolfach workshop on Computability Theory 

     詳細を見る

    開催年月日: 2018年1月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Oberwolfach   国名:ドイツ連邦共和国  

  39. 強無限次元カントール多様体による effective forcing について

    木原貴行

    RIMS 共同研究「証明論と証明活動」 

     詳細を見る

    開催年月日: 2017年12月

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:京都大学数理解析研究所   国名:日本国  

  40. Borel isomorphisms at the second level 国際会議

    Takayuki Kihara

    The 2nd Pan Pacific International Conference on Topology and Applications 

     詳細を見る

    開催年月日: 2017年11月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Busan   国名:大韓民国  

  41. Wadge-like classifications of real valued functions 招待有り 国際会議

    Takayuki Kihara

    Aspects of Computation: in celebration of the research work of Professor Rod Downey 

     詳細を見る

    開催年月日: 2017年8月 - 2017年9月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Institute for Mathematical Sciences   国名:シンガポール共和国  

  42. Martin-like phenomena in the classification of real-valued functions 招待有り 国際会議

    Takayuki Kihara

    Fourteenth International Conference on Computability and Complexity in Analysis (CCA2017) 

     詳細を見る

    開催年月日: 2017年7月

    記述言語:英語   会議種別:口頭発表(基調)  

    国名:大韓民国  

  43. De Groot duality in computability theory 国際会議

    Takayuki Kihara

    The 15th Asian Logic Conference 

     詳細を見る

    開催年月日: 2017年7月

    記述言語:英語   会議種別:口頭発表(一般)  

    開催地:Daejeon   国名:大韓民国  

  44. Topological aspects of enumeration degrees 招待有り 国際会議

    Takayuki Kihara

    Dagstuhl Seminar 16081 "Computability Theory", Schloss Dagstuhl, Germany 

     詳細を見る

    開催年月日: 2017年2月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    開催地:Schloss Dagstuhl   国名:ドイツ連邦共和国  

  45. The uniform Martin conjecture and Wadge degrees 招待有り 国際会議

    Takayuki Kihara

    Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico 

     詳細を見る

    開催年月日: 2016年12月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:メキシコ合衆国  

  46. Computability-theoretic methods in descriptive set theory 招待有り 国際会議

    Takayuki Kihara

    The Fall 2016 Central Section Meeting of the American Mathematical Society (AMS), University of St. Thomas, Minneapolis, USA 

     詳細を見る

    開催年月日: 2016年10月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:アメリカ合衆国  

  47. The structure of natural many-one degrees 招待有り 国際会議

    Takayuki Kihara

    Workshop on Computability Theory 2016, Ghent, Belgium 

     詳細を見る

    開催年月日: 2016年7月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:ベルギー王国  

  48. Borel isomorphism and computability 招待有り 国際会議

    Takayuki Kihara

    Computability, Randomness and Applications, CIRM Seminar, Marseille, France 

     詳細を見る

    開催年月日: 2016年6月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:フランス共和国  

  49. Computability-theoretic methods in descriptive set theory 国際会議

    Takayuki Kihara

    Association for Symbolic Logic 2016 Annual North American Meeting, Storrs, Connecticut, USA 

     詳細を見る

    開催年月日: 2016年5月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:アメリカ合衆国  

  50. Computability theoretic methods in descriptive set theory 招待有り 国際会議

    Takayuki Kihara

    South Eastern Logic Symposium 2016, Florida, USA 

     詳細を見る

    開催年月日: 2016年2月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:アメリカ合衆国  

  51. Weak choice principles in the Weihrauch degrees 招待有り 国際会議

    Takayuki Kihara

    New Challenges in Reverse Mathematics, Institute for Mathematical Sciences, National University of Singapore 

     詳細を見る

    開催年月日: 2016年1月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:シンガポール共和国  

  52. Some more results around decomposability of Borel functions 招待有り 国際会議

    Takayuki Kihara

    Descriptive Set Theory in Paris 2015, Institut de Mathématique de Jussieu, Paris, France 

     詳細を見る

    開催年月日: 2015年12月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:フランス共和国  

  53. The second-level Borel isomorphism problem: An encounter of recursion theory and infinite dimensional topology 招待有り 国際会議

    Takayuki Kihara

    JAIST Logic workshop series 2015: Constructivism and Computability, Shiinoki Cultural Complex, Kanazawa, Japan 

     詳細を見る

    開催年月日: 2015年3月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  54. 弱無限次元空間の余次数スペクトルと第2級ボレル同型問題

    木原貴行

    第2回 山陰 基礎論・解析学 研究集会 

     詳細を見る

    開催年月日: 2015年1月

    記述言語:日本語   会議種別:口頭発表(一般)  

    開催地:国際ファミリープラザ,米子   国名:日本国  

  55. Recursion theoretic methods in topological dimension theory 招待有り 国際会議

    Takayuki Kihara

    Descriptive Set Theory in Paris, Institut de Mathématique de Jussieu, Paris, France 

     詳細を見る

    開催年月日: 2014年12月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:フランス共和国  

  56. Arboreal forcings over admissible sets 国際会議

    Takayuki Kihara

    Correctness by Construction, CORCON 2014 Workshop, Genoa, Italy 

     詳細を見る

    開催年月日: 2014年3月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:イタリア共和国  

  57. Effective methods in descriptive set theory 招待有り 国際会議

    Takayuki Kihara

    Computability Theory and Foundations of Mathematics 2014, Tokyo Institute of Technology, Tokyo, Japan 

     詳細を見る

    開催年月日: 2014年2月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:日本国  

  58. An application of the Shore-Slaman join theorem in descriptive set theory 招待有り 国際会議

    Takayuki Kihara

    The 13th Asian Logic Conference, Guangzhou, China 

     詳細を見る

    開催年月日: 2013年9月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:中華人民共和国  

  59. An application of classical recursion theory to descriptive set theory via computable analysis 招待有り 国際会議

    Takayuki Kihara

    Computability and Complexity in Analysis, LORIA, Nancy, France 

     詳細を見る

    開催年月日: 2013年7月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:フランス共和国  

  60. 隈部-Slaman強制法によるボレル関数の$\omega$-分解問題の部分的解決

    木原貴行

    日本数学会年会 

     詳細を見る

    開催年月日: 2013年3月

    記述言語:日本語   会議種別:口頭発表(一般)  

    国名:日本国  

  61. A hierarchy of immunity and density for sets of reals 国際会議

    Takayuki Kihara

    Computability in Europe 2012, "How the World Computes", University of Cambridge, UK 

     詳細を見る

    開催年月日: 2012年6月

    記述言語:英語   会議種別:口頭発表(一般)  

    国名:グレートブリテン・北アイルランド連合王国(英国)  

  62. Counterexamples in computable continuum theory 招待有り 国際会議

    Takayuki Kihara

    Schloss Dagstuhl "Computing with Infinite Data: Topological and Logical Foundations", Saarland, Germany 

     詳細を見る

    開催年月日: 2011年10月

    記述言語:英語   会議種別:口頭発表(招待・特別)  

    国名:ドイツ連邦共和国  

▼全件表示

Works(作品等) 8

  1. ヒルベルトの第10問題とその仲間たち(数学者の選ぶ「とっておきの数学」)

    木原貴行

    2023年9月

     詳細を見る

    発表場所:数学セミナー編集部 編,数学者の選ぶ「とっておきの数学」,日本評論社.  

  2. 数学における《計算可能性》の厳密化、抽象化、そして発展(現代思想2023年7月号)

    木原貴行

    2023年7月

     詳細を見る

    発表場所:現代思想 2023年7月号,青土社, pp. 51-63.  

  3. 記述集合論/ボレル集合を超えて(数理科学 2022年6月号)

    2022年6月

  4. 数学基礎論と計算可能性(数理科学 2021年8月号)

    木原貴行

    2021年8月

  5. 逆数学のこころ/白黒ではなく色鮮やかに(数学セミナー 2021年2月号)

    2021年2月

     詳細を見る

    発表場所:数学セミナー 2021年2月号,日本評論社,pp. 15-19.  

  6. ヒルベルトの第10問題とその仲間たち(数学セミナー 2020年11月号)

    2020年11月

     詳細を見る

    発表場所:数学セミナー 2020年11月号,日本評論社, pp.24-26.  

  7. 無限の名を呼ぶ――巨大関数をとりまく数学小史(現代思想 2019年12月号)

    2019年12月

     詳細を見る

    発表場所:現代思想 2019年12月号  

  8. アッカーマン関数とヒルベルト(数学セミナー 2019年7月号)

    2019年7月

     詳細を見る

    発表場所:数学セミナー 2019年7月号,日本評論社, pp.22-27.  

▼全件表示

共同研究・競争的資金等の研究課題 1

  1. 実効記述集合論,計算可能解析学およびオートマトン理論

    2020年4月 - 2022年3月

    二国間交流事業共同研究 

    木原貴行

      詳細を見る

    資金種別:競争的資金

科研費 4

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

    研究課題/研究課題番号:23H03346  2023年4月 - 2028年3月

    日本学術振興会  科学研究費補助金  基盤研究(B)

      詳細を見る

    担当区分:研究分担者 

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

    研究課題/研究課題番号:22K03401  2022年4月 - 2026年3月

    日本学術振興会  科学研究費補助金  基盤研究(C)

      詳細を見る

    担当区分:研究代表者  資金種別:競争的資金

    配分額:4160000円 ( 直接経費:3200000円 、 間接経費:960000円 )

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

    研究課題/研究課題番号:19K03602  2019年4月 - 2022年3月

    科学研究費補助金  基盤研究(C)

    木原貴行

      詳細を見る

    担当区分:研究代表者 

    配分額:4290000円 ( 直接経費:3300000円 、 間接経費:990000円 )

  4. 空間に付随する計算論的構造の不変量としての側面

    2017年8月 - 2019年3月

    科学研究費補助金  研究活動スタート支援

    木原貴行

      詳細を見る

    担当区分:研究代表者 

 

担当経験のある科目 (本学) 36

  1. 数理情報学基礎論概論2

    2021

  2. 微積分学の発展2

    2021

  3. 微積分学の発展1

    2021

  4. 数理情報学序論1

    2021

  5. 数理情報学6

    2021

  6. 数理情報学5

    2021

  7. 数理情報学9

    2021

  8. 数理情報学10

    2021

  9. 数理情報学基礎論概論2

    2020

  10. 数理情報学10

    2020

  11. 数理情報学9

    2020

  12. 数理情報学6

    2020

  13. 数理情報学5

    2020

  14. 微積分学の発展2

    2020

  15. 微積分学の発展1

    2020

  16. 数理情報学序論1

    2020

  17. 数理情報学序論1

    2019

  18. 微積分学の発展1

    2019

  19. 微積分学の発展2

    2019

  20. 数理情報学基礎論概論2

    2019

  21. 計算可能性理論特論1

    2019

  22. 計算可能性理論特論2

    2019

  23. 数理情報学5

    2019

  24. 数理情報学6

    2019

  25. 線形代数学I

    2018

  26. 数理情報学6

    2018

  27. 微積分学の発展1

    2018

  28. 微積分学の発展2

    2018

  29. 数理情報学基礎論概論2

    2018

  30. 数理情報学序論1

    2018

  31. 線形代数学I

    2017

  32. 数理情報学基礎論概論2

    2017

  33. 数理情報学6

    2017

  34. 計算可能性理論特論2

    2017

  35. 計算可能性理論特論1

    2017

  36. 数理情報学1

    2017

▼全件表示

 

学術貢献活動 13

  1. Computability Theory and Applications Online Seminar 国際学術貢献

    役割:企画立案・運営等

    2021年4月 - 2022年6月

     詳細を見る

    種別:学会・研究会等 

  2. CCR 2024, Seventeenth International Conference on Computability, Complexity and Randomness 国際学術貢献

    役割:企画立案・運営等

    2024年3月

     詳細を見る

    種別:学会・研究会等 

  3. 第2回ロジック・ウィンタースクール

    役割:企画立案・運営等

    2023年12月

     詳細を見る

    種別:学会・研究会等 

  4. CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms 国際学術貢献

    役割:企画立案・運営等

    2023年9月

     詳細を見る

    種別:学会・研究会等 

  5. 数学基礎論サマースクール2023

    役割:企画立案・運営等

    2023年9月

     詳細を見る

    種別:学会・研究会等 

  6. ロジックウィンタースクール

    役割:企画立案・運営等

    2023年2月

     詳細を見る

    種別:学会・研究会等 

  7. Fourth Workshop on Digitalization and Computable Models 国際学術貢献

    役割:企画立案・運営等

    2022年10月

     詳細を見る

    種別:学会・研究会等 

  8. Sirius workshop on Computing in Topological Structures: Foundations and Implementations 国際学術貢献

    役割:企画立案・運営等

    2022年6月 - 2022年7月

     詳細を見る

    種別:学会・研究会等 

  9. CCA 2022: Nineteenth International Conference on Computability and Complexity in Analysis 国際学術貢献

    役割:企画立案・運営等

    2022年5月

     詳細を見る

    種別:学会・研究会等 

  10. The Second Workshop on Effective Descriptive Set Theory, Computable Analysis, and Automata 国際学術貢献

    役割:企画立案・運営等

    2022年3月

     詳細を見る

    種別:学会・研究会等 

  11. Association for Symbolic Logic 2021 North American Annual Meeting 国際学術貢献

    役割:パネル司会・セッションチェア等

    2021年6月

  12. Workshop on Effective Descriptive Set Theory, Computable Analysis, and Automata 国際学術貢献

    役割:企画立案・運営等

    2021年3月

     詳細を見る

    種別:学会・研究会等 

  13. 第2回ロジックウィンタースクール

    役割:企画立案・運営等

     詳細を見る

    種別:大会・シンポジウム等 

▼全件表示