Kihara Takayuki

キハラタカユキ | Kihara Takayuki

Affiliation and department：
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 (10)：

2024 - 2028 連続な空間上の計算とその複雑さの研究
2023 - 2028 連続な空間上の計算とその複雑さの研究
2022 - 2026 幾何様相に基づく構成的逆数学の新展開
2021 - 2025 様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析
2020 - 2022 Effective descriptive set theory, computable analysis and automata

Show all

Papers (38)：

Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara. On the metric temporal logic for continuous stochastic processes. Logical Methods in Computer Science. 2024. 20. 2. 1-35
Matthew de Brech, Takayuki Kihara, Victor Selivanov. Ideal presentations and numberings of some classes of effective quasi-Polish spaces. Computability. 2024
Mathieu Hoyrup, Takayuki Kihara, Victor Selivanov. Degree spectra of homeomorphism types of compact Polish spaces. Journal of Symbolic Logic. 2024
Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova, Dieter Spreen. On the main scientific achievements of Victor Selivanov. Computability. 2023. 12. 4. 301-314
Takayuki Kihara, Arno Pauly. De Groot duality for represented spaces. Lecture Notes in Computer Science. 2023. 13967. 89-101

ｍ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 (66)：

Degrees of unsolvability of natural problems: A realizability-theoretic approach
(Generalized Computability Theory 2024)
Degrees of unsolvability of natural problems: A realizability-theoretic approach
(Twenty-First International Conference on Computability and Complexity in Analysis 2024)
Degrees of Unsolvability: A Realizability-theoretic perspetive
(14th Panhellenic Logic Symposium 2024)
On the Wadge degrees of Borel partitions
(Nankai Logic Colloquium 2024)
計算可能な方法では得られない同相型
(第58回 MLG 数理論理学研究集会 2024)

ｍ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