Updated on 2024/03/16
博士（理学） （ 2011.3 東北大学 ）
Computability Theory, Computable Analysis, Descriptive Set Theory
Nagoya University Graduate School of Informatics Department of Mathematical Informatics Lecturer
2017.4 - 2020.2
Country：Japan
University of California, Berkeley Department of Mathematics JSPS Postdoc
2015.5 - 2017.3
Country：United States
JAIST JSPS Postdoc
2012.4 - 2015.3
Country：Japan
Tohoku University Mathematical Institute JSPS Postdoc
2011.4 - 2012.3
Country：Japan
Tohoku University Mathematical Institute JSPS research fellow DC2
2010.4 - 2011.3
Country：Japan
Tohoku University Graduate School, Division of Natural Science
2009.4 - 2011.3
Country： Japan
Tohoku University Graduate School, Division of Natural Science
2007.4 - 2009.3
Country： Japan
Tohoku University Faculty of Science
2003.4 - 2007.3
Country： Japan
The Mathematical Society of Japan
The Association for Symbolic Logic
European Association for Theoretical Computer Science
LA/EATCS JAPAN Best Presentation Award
2013.1 European Association for Theoretical Computer Science (EATCS), Japan Chapter
Takayuki Kihara
Kawai Prize for Ph.D. thesis
2011.3 Kawai Mathematical Sciences Foundation (Mathematical Institute, Tohoku University)
Takayuki Kihara
Excellent Review Paper Award
2009.3 Kawai Mathematical Sciences Foundation (Mathematical Institute, Tohoku University)
Lawvere-Tierney topologies for computability theorists Reviewed
Takayuki Kihara
Transactions of the American Mathematical Society, Series B Vol. 10 page： 48 - 85 2023
Point degree spectra of represented spaces Reviewed International coauthorship
Takayuki Kihara and Arno Pauly
Forum of Mathematics, Sigma Vol. 10 ( e31 ) page： 1 - 27 2022.4
Wadge-like degrees of Borel bqo-valued functions Reviewed International coauthorship
Takayuki Kihara and Victor Selivanov
Proceedings of the American Mathematical Society Vol. 150 ( 9 ) page： 3989 - 4003 2022.4
Topological reducibilities for discontinuous functions and their structures Reviewed
Takayuki Kihara
Israel Journal of Mathematics Vol. 252 page： 461 - 500 2022
Turing degrees in Polish spaces and decomposability of Borel functions Reviewed International coauthorship
Vassilios Gregoriades, Takayuki Kihara, Keng Meng Ng
The Journal of Mathematical Logic Vol. 21 ( 1 ) page： 41 2021.1
The Brouwer invariance theorems in reverse mathematics Reviewed
Takayuki Kihara
Forum of Mathematics, Sigma Vol. 8 page： 12 2020
On the structure of the Wadge degrees of BQO-valued Borel functions Reviewed International coauthorship
Takayuki Kihara, Antonio Montalban
Transactions of the American Mathematical Society Vol. 371 ( 11 ) page： 7885-7923 2019
The uniform Martin's conjecture for many-one degrees Reviewed International coauthorship
Takayuki Kihara, and Antonio Montalban
Transactions of the American Mathematical Society Vol. 370 ( 12 ) page： 9025-9044 2018
Degree spectra of homeomorphism types of compact Polish spaces Reviewed International coauthorship
Mathieu Hoyrup, Takayuki Kihara and Victor Selivanov
Journal of Symbolic Logic 2024
Ideal presentations and numberings of some classes of effective quasi-Polish spaces Reviewed International coauthorship
Matthew de Brecht, Takayuki Kihara and Victor Selivanov
Computability 2024
On the main scientific achievements of Victor Selivanov International coauthorship
Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova and Dieter Spreen
Computability Vol. 12 ( 4 ) page： 301 - 314 2023.12
De Groot duality for represented spaces Reviewed International coauthorship
Takayuki Kihara and Arno Pauly
Lecture Notes in Computer Science Vol. 13967 page： 89 - 101 2023.7
A syntactic approach to Borel functions: Some extensions of Louveau's theorem Reviewed
Takayuki Kihara and Kenta Sasaki
Archive for Mathematical Logic Vol. 62 page： 1041 - 1082 2023.6
Enumerating classes of effective quasi-Polish spaces Reviewed International coauthorship
Matthew de Brecht, Takayuki Kihara, and Victor Selivanov
Lecture Notes in Computer Science Vol. 13359 page： 88 - 102 2022.6
A comparison of various analytic choice principles Reviewed International coauthorship
Paul-Elliot Angles D'auriac, Takayuki Kihara
Journal of Symbolic Logic 2021
Decomposing functions of Baire class 2 on Polish spaces Reviewed International coauthorship
Longyun Ding, Takayuki Kihara, Brian Semmes, Jiafei Zhao
Journal of Symbolic Logic Vol. 85 ( 3 ) page： 960 - 971 2020
Degrees of non-computability of homeomorphism types of Polish spaces Reviewed International coauthorship
Mathieu Hoyrup, Takayuki Kihara, Victor Selivanov
Lecture Notes in Computer Science Vol. 12098 page： 189-192 2020
Searching for an analogue of ATR0 in the Weihrauch lattice Reviewed International coauthorship
Takayuki Kihara, Alberto Marcone, Arno Pauly
The Journal of Symbolic Logic Vol. 85 ( 3 ) page： 1006 - 1043 2020
The binary expansion and the intermediate value theorem in constructive reverse mathematics Reviewed International coauthorship
Josef Berger, Hajime Ishihara, Takayuki Kihara, and Takako Nemoto
Archive for Mathematical Logic Vol. 58 ( 1-2 ) page： 203-217 2019
Finite choice, convex choice and sorting Reviewed International coauthorship
Takayuki Kihara, and Arno Pauly
Lecture Notes in Computer Science Vol. 11436 page： 378-393 2019
On a metric generalization of the tt-degrees and effective dimension theory Reviewed
Takayuki Kihara
Journal of Symbolic Logic Vol. 84 ( 2 ) page： 726-749 2019
Higher randomness and lim-sup forcing within and beyond hyperarithmetic Reviewed
Takayuki Kihara
Lect. Notes Ser. Inst. Math. Sci. Natl. Univ. Singap. Vol. 33 page： 117-155 2018
Borel-piecewise continuous reducibility for uniformization problems Reviewed
Takayuki Kihara
Logical Methods in Computer Science. Vol. 12 ( 4 ) page： 1-35 2016
Dividing by zero -- how bad is it, really? Reviewed International coauthorship
Takayuki Kihara, and Arno Pauly
Leibniz International Proceedings in Informatics Vol. 58 page： 58:1-58:14 2016
Decomposing Borel functions using the Shore-Slaman join theorem Reviewed
Takayuki Kihara
Fundamenta Mathematicae Vol. 230 page： 1-13 2015
Comparing the Medvedev and Turing degrees of Π01 classes Reviewed
Takayuki Kihara
Mathematical Structures in Computer Science Vol. 25 ( 8 ) page： 1649-1668 2015
Unified characterizations of lowness properties via Kolmogorov complexity Reviewed
Takayuki Kihara and Kenshi Miyabe
Archive for Mathematical Logic Vol. 54 ( 3-4 ) page： 329-358 2015
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions Reviewed
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic Vol. 165 ( 6 ) page： 1201-1241 2014
On the strength of marriage theorems and uniformity Reviewed
Makoto Fujiwara, Kojiro Higuchi, and Takayuki Kihara
Mathematical Logic Quarterly Vol. 60 ( 3 ) page： 136-153 2014
On effectively closed sets of effective strong measure zero Reviewed
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic Vol. 165 ( 9 ) page： 1445-1469 2014
Uniform Kurtz randomness Reviewed
Takayuki Kihara, and Kenshi Miyabe
Journal of Logic and Computation Vol. 24 ( 4 ) page： 863-882 2014
Inside the Muchnik degrees I: Discontinuity, learnability, and constructivism Reviewed
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic Vol. 165 ( 5 ) page： 1058-1114 2014
Effective strong nullness and effectively closed sets Reviewed
Kojiro Higuchi, and Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS Vol. 7318 page： 303-312 2012
Incomputability of simply connected planar continua Reviewed
Takayuki Kihara
Computability Vol. 1 ( 2 ) page： 131-152 2012
A hierarchy of immunity and density for sets of reals Reviewed
Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS Vol. 7318 page： 384-394 2012
The AE-theory of the effectively closed Medvedev degrees is decidable Reviewed International coauthorship
Joshua A. Cole, and Takayuki Kihara
Archive for Mathematical Logic Vol. 49 ( 1 ) page： 1-16 2010
Immunity and non-cupping for closed sets Reviewed International coauthorship
Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu
Tbilisi Mathematical Journal Vol. 2 page： 77-94 2009
Handbook of Computability and Complexity in Analysis Reviewed International journal
Zvonko Iljazovic and Takayuki Kihara（ Role： Contributor , Chapter 2. Computability of Subsets of Metric Spaces）
Springer 2021.6 （ ISBN:3030592332 ）
実数の集合論とランダムネス（概説）
木原貴行
京都大学数理解析研究所講究録 Vol. 1832 page： 97-113 2013
ボレル関数の分解問題への計算論の応用
木原貴行
京都大学数理解析研究所講究録 Vol. 1849 page： 32-36 2013
連続体の計算可能性理論
木原貴行
京都大学数理解析研究所講究録 Vol. 1729 page： 48-66 2011
逆数学と逆再帰理論について
木原貴行
京都大学数理解析研究所講究録 Vol. 1635 page： 51-59 2009.4
On the Wadge degrees of Borel partitions Invited International conference
Takayuki Kihara
Nankai Logic Colloquium 2024.3.1
計算可能な方法では得られない同相型
木原貴行
第58回 MLG 数理論理学研究集会 2024.2.17
De Groot duality for represented spaces
Takayuki Kihara
RIMS workshop: New frontiers of proof and computation 2023.12.12
アルゴリズム的ランダム性の最近の発展について Invited
木原貴行
コンピュテーション研究会（COMP） 2023.10.24
More on the Intuitionistic Borel Hierarchy International conference
Takayuki Kihara
CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms 2023.9.27
計算可能数学の圏
木原貴行
数学基礎論サマースクール2023 2023.9.13
On Eight Variants of Formal Church’s Thesis International coauthorship International conference
Takayuki Kihara and Keng Meng Ng
CCR2023: 16th International Conference on Computability, Complexity and Randomness 2023.7.13
Topos-theoretic aspect of the degrees of unsolvability Invited International conference
Takayuki Kihara
From omega to Omega 2023.6.22
チュートリアル: 計算可能性理論
木原貴行
ロジックウィンタースクール2023 2023.2.21
構成的逆数学とLawvere-Tierney位相
木原貴行
数理論理学と構成的数学に関するワークショップ 2023.2.17
計算可能数学のトポスとLawvere-Tierney位相
木原貴行
第8回山陰基礎論と数学およびその周辺の研究集会 2023.1.8
計算可能数学のトポスとLawvere-Tierney位相
木原貴行
証明論シンポジウム2022 2022.12.20
Recent development on the Wadge degrees of Borel functions Invited International conference
Takayuki Kihara
Fourth Workshop on Digitalization and Computable Models 2022.10.28
Computability Theory and Reverse Mathematics via Lawvere-Tierney topologies Invited International conference
Takayuki Kihara
The 18th conference on Computability in Europe: Revolutions and Revelations in Computability 2022.7.15
Turing 次数から実効トポス上の Lawvere-Tierney 位相へ Invited
Takayuki Kihara
Symposium on Advances in Mathematical Logic 2022 2022.6.24
Weihrauch reducibility on multi-represented spaces International conference
Takayuki Kihara
International Conference on Computability, Complexity, and Randomness 2022 2022.6.10
Lawvere-Tierney topologies for computability theorists, an introduction Invited International conference
Takayuki Kihara
The Second Japan-Russia Workshop on Effective Descriptive Set Theoty, Computable Analysis and Automata 2022.3.18
New directions in synthetic descriptive set theory Invited International conference
Takayuki Kihara
Dagstuhl Seminar, Descriptive Set Theory and Computable Topology
Computability theory and reverse mathematics via Lawvere-Tierney topologies Invited International conference
Takayuki Kihara
Algorithmic Presentations in Mathematics
Lawvere-Tierney topologies for computability theorists International conference
Takayuki Kihara
Continuity, Computability, Constructivity From Logic to Algorithms
計算可能性と定義可能性による階層構造／この10年で何が起こったか Invited
木原貴行
2021年度 日本数学会 秋季総合分科会
Lawvere-Tierney topologies for computability theorists Invited International conference
Takayuki Kihara
Third Workshop on Digitalization and Computable Models 2021.6.28
HYP with finite mind-changes International conference
Takayuki Kihara
Oberwolfach Workshop, Computability Theory 2021.4.27
Some Lifschitz-like realizability notions separating non-constructive principles International conference
Takayuki Kihara
Fourth Workshop on Mathematical Logic and its Applications 2021.3.23
Around the Wadge rank $\omega_2$ International conference
Takayuki Kihara
Japan-Russia Workshop on Effective Descriptive Set Theory, Computable Analysis and Automata 2021.3.19 Takayuki Kihara
Degrees of non-computability of homeomorphism types of Polish spaces Invited International coauthorship International conference
Takayuki Kihara
Computability in Europe 2020, Beyond the horizon of computability 2020.7.1
Computability theoretic methods in descriptive set theory Invited International conference
Takayuki Kihara
The Sixteenth Asian Logic Conference
BQO-Wadge degrees on nonseparable ultrametric spaces and computability on uncountable cardinals International conference
Takayuki Kihara
Higher Recursion Theory and Set Theory: In celebration of the research work of Professors Theodore A. Slaman and W. Hugh Woodin
The Brouwer invariance theorems in reverse mathematics Invited International conference
Takayuki Kihara
The 9th International Conference on Computability Theory and Foundations of Mathematics
Degrees of non-computability of points in general spaces Invited International conference
Takayuki Kihara
Thirteenth International Conference on Computability, Complexity and Randomness
BQO-Wadge theory on ultrametric spaces International conference
Sendai Logic School 2018
Computability Theoretic Methods in Descriptive Set Theory International conference
Takayuki Kihara
Symposium on Advances in Mathematical Logic 2018
Weihrauch reducibility for some 3rd order principles Invited International conference
Takayuki Kihara
Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis
On the Structure of the Wadge degrees of BQO-valued Borel functions Invited International conference
Takayuki Kihara
The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic
Weihrauch Counterparts of Reverse Mathematical Principles Invited International conference
Takayuki Kihara
The 2018 North American Annual Meeting of the Association for Symbolic Logic
The ultimate analysis of some hierarchies under AD+ Invited
木原貴行
手形L4研究集会
Ordinal Ranks on the Baire and non-Baire class functions International conference
Takayuki Kihara
The Second Workshop on Mathematical Logic and its Applications
Topologizing the degree theory Invited International conference
Takayuki Kihara
Oberwolfach workshop on Computability Theory
強無限次元カントール多様体による effective forcing について
木原貴行
RIMS 共同研究「証明論と証明活動」
Borel isomorphisms at the second level International conference
Takayuki Kihara
The 2nd Pan Pacific International Conference on Topology and Applications
Wadge-like classifications of real valued functions Invited International conference
Takayuki Kihara
Aspects of Computation: in celebration of the research work of Professor Rod Downey
Martin-like phenomena in the classification of real-valued functions Invited International conference
Takayuki Kihara
Fourteenth International Conference on Computability and Complexity in Analysis (CCA2017)
De Groot duality in computability theory International conference
Takayuki Kihara
The 15th Asian Logic Conference,
Topological aspects of enumeration degrees Invited International conference
Takayuki Kihara
Dagstuhl Seminar 16081 "Computability Theory", Schloss Dagstuhl, Germany
The uniform Martin conjecture and Wadge degrees Invited International conference
Takayuki Kihara
Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico
Computability-theoretic methods in descriptive set theory Invited International conference
Takayuki Kihara
the Fall 2016 Central Section Meeting of the American Mathematical Society, University of St. Thomas, Minneapolis, USA
The structure of natural many-one degrees Invited International conference
Takayuki Kihara
Workshop on Computability Theory 2016, Ghent, Belgium
Borel isomorphism and computability Invited International conference
Takayuki Kihara
Computability, Randomness and Applications, CIRM Seminar, Marseille, France
Computability-theoretic methods in descriptive set theory International conference
Takayuki Kihara
Association for Symbolic Logic 2016 Annual North American Meeting, Storrs, Connecticut, USA
Computability theoretic methods in descriptive set theory Invited International conference
Takayuki Kihara
South Eastern Logic Symposium 2016, Florida, USA
Weak choice principles in the Weihrauch degrees Invited International conference
Takayuki Kihara
New Challenges in Reverse Mathematics, Institute for Mathematical Sciences, National University of Singapore
Some more results around decomposability of Borel functions Invited International conference
Takayuki Kihara
Descriptive Set Theory in Paris 2015, Institut de Mathématique de Jussieu, Paris, France
The second-level Borel isomorphism problem: An encounter of recursion theory and infinite dimensional topology Invited International conference
Takayuki Kihara
JAIST Logic workshop series 2015: Constructivism and Computability, Shiinoki Cultural Complex, Kanazawa, Japan
弱無限次元空間の余次数スペクトルと第2級ボレル同型問題
木原貴行
第２回 山陰 基礎論・解析学 研究集会
Recursion theoretic methods in topological dimension theory Invited International conference
Takayuki Kihara
Descriptive Set Theory in Paris, Institut de Mathématique de Jussieu, Paris, France
Arboreal forcings over admissible sets International conference
Takayuki Kihara
Correctness by Construction, CORCON 2014 Workshop, Genoa, Italy
Effective methods in descriptive set theory Invited International conference
Takayuki Kihara
Computability Theory and Foundations of Mathematics 2014, Tokyo Institute of Technology, Tokyo, Japan
An application of the Shore-Slaman join theorem in descriptive set theory Invited International conference
Takayuki Kihara
The 13th Asian Logic Conference, Guangzhou, China
An application of classical recursion theory to descriptive set theory via computable analysis Invited International conference
Takayuki Kihara
Computability and Complexity in Analysis, LORIA, Nancy, France
隈部-Slaman強制法によるボレル関数の$\omega$-分解問題の部分的解決
木原貴行
日本数学会年会
A hierarchy of immunity and density for sets of reals International conference
Takayuki Kihara
Computability in Europe 2012, "How the World Computes", University of Cambridge, UK
Counterexamples in computable continuum theory Invited International conference
Takayuki Kihara
Schloss Dagstuhl "Computing with Infinite Data: Topological and Logical Foundations", Saarland, Germany
ヒルベルトの第10問題とその仲間たち（数学者の選ぶ「とっておきの数学」）
木原貴行
数学における《計算可能性》の厳密化、抽象化、そして発展（現代思想2023年7月号）
木原貴行
記述集合論／ボレル集合を超えて（数理科学 2022年6月号）
数学基礎論と計算可能性（数理科学 2021年8月号）
木原貴行
逆数学のこころ／白黒ではなく色鮮やかに（数学セミナー 2021年2月号）
ヒルベルトの第10問題とその仲間たち（数学セミナー 2020年11月号）
無限の名を呼ぶ――巨大関数をとりまく数学小史（現代思想 2019年12月号）
アッカーマン関数とヒルベルト（数学セミナー 2019年7月号）
Effective descriptive set theory, computable analysis and automata
2020.4 - 2022.3
Takayuki Kihara
Grant type：Competitive
連続な空間上の計算とその複雑さの研究
Grant number：23H03346 2023.4 - 2028.3
日本学術振興会 科学研究費補助金 基盤研究(B)
Authorship：Coinvestigator(s)
幾何様相に基づく構成的逆数学の新展開
Grant number：22K03401 2022.4 - 2026.3
日本学術振興会 科学研究費補助金 基盤研究(C)
Authorship：Principal investigator Grant type：Competitive
Grant amount：\4160000 （ Direct Cost: \3200000 、 Indirect Cost：\960000 ）
計算可能性理論，記述集合論，位相空間論における階層の究極的解析
Grant number：19K03602 2019.4 - 2022.3
科学研究費補助金 基盤研究(C)
木原貴行
Authorship：Principal investigator
Grant amount：\4290000 （ Direct Cost: \3300000 、 Indirect Cost：\990000 ）
空間に付随する計算論的構造の不変量としての側面
2017.8 - 2019.3
科学研究費補助金 研究活動スタート支援
木原貴行
Authorship：Principal investigator
Survey on Pure Mathematical Informatics 2
2021
Advanced Calculus 2
2021
Advanced Calculus 1
2021
Introduction to Mathematical Informatics 1
2021
Mathematical Informatics 10
2021
Mathematical Informatics 9
2021
Mathematical Informatics 6
2021
Mathematical Informatics 5
2021
Mathematical Informatics 10
2020
Mathematical Informatics 9
2020
Mathematical Informatics 6
2020
Mathematical Informatics 5
2020
Advanced Calculus 2
2020
Advanced Calculus 1
2020
Introduction to Mathematical Informatics 1
2020
数理情報学基礎論概論2
2020
数理情報学序論1
2019
微積分学の発展1
2019
微積分学の発展2
2019
数理情報学基礎論概論2
2019
計算可能性理論特論1
2019
計算可能性理論特論2
2019
数理情報学5
2019
数理情報学6
2019
線形代数学I
2018
数理情報学６
2018
微積分学の発展1
2018
微積分学の発展2
2018
数理情報学基礎論概論2
2018
数理情報学序論1
2018
Linear algebra I
2017
Survey on Pure Mathematical Informatics 2
2017
Mathematical Informatics 6
2017
Theory of Computability 2
2017
Theory of Computability 1
2017
数理情報学1
2017
Computability Theory and Applications Online Seminar International contribution
Role(s)：Planning, management, etc.
2021.4 - 2022.6
CCR 2024, Seventeenth International Conference on Computability, Complexity and Randomness International contribution
Role(s)：Planning, management, etc.
2024.3
第2回ロジック・ウィンタースクール
Role(s)：Planning, management, etc.
2023.12
CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms International contribution
Role(s)：Planning, management, etc.
2023.9
数学基礎論サマースクール2023
Role(s)：Planning, management, etc.
2023.9
ロジックウィンタースクール
Role(s)：Planning, management, etc.
2023.2
Fourth Workshop on Digitalization and Computable Models International contribution
Role(s)：Planning, management, etc.
2022.10
Sirius workshop on Computing in Topological Structures: Foundations and Implementations International contribution
Role(s)：Planning, management, etc.
2022.6 - 2022.7
CCA 2022: Nineteenth International Conference on Computability and Complexity in Analysis International contribution
Role(s)：Planning, management, etc.
2022.5
The Second Workshop on Effective Descriptive Set Theory, Computable Analysis, and Automata International contribution
Role(s)：Planning, management, etc.
2022.3
Association for Symbolic Logic 2021 North American Annual Meeting International contribution
Role(s)：Panel moderator, session chair, etc.
2021.6
Workshop on Effective Descriptive Set Theory, Computable Analysis, and Automata International contribution
Role(s)：Planning, management, etc.
2021.3
第2回ロジックウィンタースクール
Role(s)：Planning, management, etc.
