Rchr
J-GLOBAL ID：201101075726157479   Update date: Feb. 01, 2024

Kihara Takayuki

キハラ タカユキ | Kihara Takayuki
Affiliation and department：
Nagoya University Graduate School of Informatics Department of Mathematical Informatics 1

About Nagoya University Graduate School of Informatics Department of Mathematical Informatics 1


Job title： Associate professor
Homepage URL  (2)： http://www.math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html ,  http://www.math.mi.i.nagoya-u.ac.jp/~kihara/
Research keywords  (9)： Foundations of Mathematics ,  Mathematical Logic ,  Computability Theory ,  Descriptive Set Theory ,  Reverse Mathematics ,  Algorithmic Randomness ,  Algorithmic Information Theory ,  Computable Analysis ,  Effective Topos
Research theme for competitive and other funds  (8)：
  • 2022 - 2026 幾何様相に基づく構成的逆数学の新展開
  • 2021 - 2025 様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析
  • 2020 - 2022 Effective descriptive set theory, computable analysis and automata
  • 2019 - 2022 計算可能性理論,記述集合論,位相空間論における階層の究極的解析
  • 2015 - 2020 Phase transitions of provability and supercritical propositions of reverse mathematics
Show all
Papers (34)：
  • Takayuki Kihara, Arno Pauly. De Groot duality for represented spaces. Lecture Notes in Computer Science. 2023. 13967. 89-101
  • Takayuki Kihara, Kenta Sasaki. A syntactic approach to Borel functions: Some extensions of Louveau's theorem. Archive for Mathematical Logic. 2023. 62. 1041-1082
  • Takayuki Kihara. Lawvere-Tierney topologies for computability theorists. Transactions of the American Mathematical Society, Series B. 2023. 10. 2. 48-85
  • Matthew de Brecht, Takayuki Kihara, Victor Selivanov. Enumerating classes of effective quasi-Polish spaces. Lecture Notes in Computer Science. 2022. 13359. 88-102
  • Takayuki Kihara, Victor Selivanov. Wadge-like degrees of Borel bqo-valued functions. Proceedings of the American Mathematical Society. 2022. 150. 09. 3989-4003
ｍore...
MISC (4)：
  • 木原貴行. 実数の集合論とランダムネス(概説). 京都大学数理解析研究所講究録. 2013. 1832. 97-113
  • 木原貴行. ボレル関数の分解問題への計算論の応用. 京都大学数理解析研究所講究録. 2013. 1849. 32-36
  • 木原貴行. 連続体の計算可能性理論. 京都大学数理解析研究所講究録. 2011. 1729. 48-66
  • 木原貴行. 逆数学と逆再帰理論について. 京都大学数理解析研究所講究録. 2009. 1635. 51-59
Books (1)：
  • Handbook of Computability and Complexity in Analysis
    Springer 2021 ISBN:3030592332
Lectures and oral presentations  (60)：
  • De Groot duality for represented spaces
    (RIMS workshop: New frontiers of proof and computation 2023)
  • More on the Intuitionistic Borel Hierarchy
    (CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms 2023)
  • 計算可能数学の圏
    (数学基礎論サマースクール2023 2023)
  • On Eight Variants of Formal Church’s Thesis
    (CCR2023: 16th International Conference on Computability, Complexity and Randomness 2023)
  • Topos-theoretic aspect of the degrees of unsolvability
    (From omega to Omega 2023)
ｍore...
Works (8)：
  • ヒルベルトの第10問題とその仲間たち(数学者の選ぶ「とっておきの数学」)
    木原貴行 2023 - 2023
  • 数学における《計算可能性》の厳密化、抽象化、そして発展(現代思想2023年7月号)
    木原貴行 2023 - 2023
  • 記述集合論/ボレル集合を超えて(数理科学 2022年6月号)
    2022 - 2022
  • 数学基礎論と計算可能性(数理科学 2021年8月号)
    木原貴行 2021 - 2021
  • 逆数学のこころ/白黒ではなく色鮮やかに(数学セミナー 2021年2月号)
    2021 -
ｍore...
Education (3)：
  • 2009 - 2011 Tohoku University Mathematical Institute Ph.D.
  • 2007 - 2009 Tohoku University Mathematical Institute M.S.
  • 2003 - 2007 Tohoku University Mathematical Institute B.S.
Professional career (1)：
  • Ph.D. (Tohoku University)
Work history (7)：
  • 2020/03 - 現在 Nagoya University Graduate School of Informatics Department of Mathematical Informatics Associate Professor
  • 2017/04 - 2020/02 Nagoya University Graduate School of Informatics Department of Mathematical Informatics Lecturer
  • 2018/10 - 2019/03 Nanyang Technological University School of Physical and Mathematical Sciences Visiting Scholar
  • 2015/05 - 2017/03 University of California, Berkeley Department of Mathematics JSPS Postdoc
  • 2012/04 - 2015/03 JAIST JSPS Postdoc
Show all
Awards (3)：
  • 2013/01 - European Association for Theoretical Computer Science (EATCS), Japan Chapter LA/EATCS JAPAN Best Presentation Award
  • 2011/03 - Kawai Mathematical Sciences Foundation (Mathematical Institute, Tohoku University) Kawai Prize for Ph.D. thesis
  • 2009/03 - Kawai Mathematical Sciences Foundation (Mathematical Institute, Tohoku University) Excellent Review Paper Award
Association Membership(s) (3)：
Association for Symbolic Logic ,  European Association for Theoretical Computer Science ,  日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM