Takayuki Kihara
(木原 貴行)
Modified on: 02/02
Profile Information
- Affiliation
- Associate professor, Graduate School of Informatics Department of Mathematical Informatics 1, Nagoya University
- Degree
-
Ph.D.(Mar, 2011, Tohoku University)
- researchmap Member ID
- B000001157
- External link
I'm a Recursion Theorist, especially interested in applications of Recursion Theory in other areas of mathematics. My research interest includes Higher Recursion Theory, Reverse Mathematics, Computable Analysis (TTE), Algorithmic Randomness, Descriptive Set Theory, General Topology, and Realizability Theory.
Please visit: http://www.math.mi.i.nagoya-u.ac.jp/~kihara/
Research Interests
9Education
3-
Apr, 2009 - Mar, 2011
-
Apr, 2007 - Mar, 2009
-
Apr, 2003 - Mar, 2007
Research History
7-
May, 2015 - Mar, 2017
-
Apr, 2012 - Mar, 2015
-
Apr, 2011 - Mar, 2012
-
Apr, 2010 - Mar, 2011
Awards
3Major Papers
34-
Transactions of the American Mathematical Society, Series B, 10(2) 48-85, 2023 Peer-reviewed
-
Proceedings of the American Mathematical Society, 150(09) 3989-4003, 2022 Peer-reviewed
-
Forum of Mathematics, Sigma, 10(e31) 1-27, 2022 Peer-reviewed
-
Israel Journal of Mathematics, 252(1) 461-500, 2022 Peer-reviewed
-
Journal of Mathematical Logic, 2050021 1-41, 2021 Peer-reviewed
-
Forum of Mathematics, Sigma, 8(e51) 1-12, 2020 Peer-reviewed
-
Transactions of the American Mathematical Society, 371(11) 7885-7923, 2019 Peer-reviewed
-
Transactions of the American Mathematical Society, 370(12) 9025-9044, 2018 Peer-reviewed
Books and Other Publications
1-
Springer, Jun 5, 2021 (ISBN: 3030592332) Peer-reviewed
Works
8-
Sep, 2023 - Sep, 2023
-
Jul, 2023 - Jul, 2023
-
Jun, 2022 - Jun, 2022
-
Aug, 2021 - Aug, 2021 Other
-
Feb, 2021
-
Nov, 2020
-
Dec, 2019 Other
-
Jul, 2019 Other
Misc.
4-
京都大学数理解析研究所講究録, 1832 97-113, 2013
-
京都大学数理解析研究所講究録, 1849 32-36, 2013
-
京都大学数理解析研究所講究録, 1729 48-66, 2011
-
京都大学数理解析研究所講究録, 1635 51-59, Apr, 2009
Presentations
60-
RIMS workshop: New frontiers of proof and computation, Dec 12, 2023
-
CCC 2023: Continuity, Computability, Constructivity: From Logic to Algorithms, Sep 27, 2023
-
数学基礎論サマースクール2023, Sep 13, 2023
-
CCR2023: 16th International Conference on Computability, Complexity and Randomness, Jul 13, 2023
-
From omega to Omega, Jun 22, 2023 Invited
-
ロジックウィンタースクール2023, Feb 21, 2023
-
数理論理学と構成的数学に関するワークショップ, Feb 17, 2023
-
第8回山陰基礎論と数学およびその周辺の研究集会, Jan 8, 2023
-
証明論シンポジウム2022, Dec 20, 2022
-
Fourth Workshop on Digitalization and Computable Models, Oct 28, 2022 Invited
-
The 18th conference on Computability in Europe: Revolutions and Revelations in Computability, Jul 15, 2022 Invited
-
Symposium on Advances in Mathematical Logic 2022, Jun 24, 2022 Invited
-
International Conference on Computability, Complexity, and Randomness 2022, Jun 10, 2022
-
The Second Japan-Russia Workshop on Effective Descriptive Set Theoty, Computable Analysis and Automata, Mar 18, 2022 Invited
-
Dagstuhl Seminar, Descriptive Set Theory and Computable Topology Invited
-
Algorithmic Presentations in Mathematics Invited
-
Continuity, Computability, Constructivity From Logic to Algorithms
-
2021年度 日本数学会 秋季総合分科会 Invited
-
Third Workshop on Digitalization and Computable Models, Jun 28, 2021 Invited
-
Oberwolfach Workshop, Computability Theory, Apr 27, 2021
Teaching Experience
25-
2021 - 2021
-
2021 - 2021
-
2021 - 2021
-
2021 - 2021
-
2021 - 2021
-
2021 - 2021
-
2021 - 2021
-
2021 - 2021
-
2020 - 2020
-
2020 - 2020
-
2020 - 2020
-
2020 - 2020
-
2020 - 2020
-
2020 - 2020
-
2020 - 2020
-
2020 - 2020
Professional Memberships
3Research Projects
8-
科学研究費助成事業, 基盤研究(C), 日本学術振興会, Apr, 2022 - Mar, 2026
-
科学研究費助成事業, 基盤研究(B), 日本学術振興会, Apr, 2021 - Mar, 2025
-
Ministry of Education, Culture, Sports, Science and Technology, Apr, 2020 - Mar, 2022
-
科学研究費補助金, 基盤研究(C), 日本学術振興会, Apr, 2019 - Mar, 2022
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2020
-
科学研究費補助金, 研究活動スタート支援, 日本学術振興会, Aug, 2017 - Mar, 2019
-
科学研究費助成事業, 特別研究員奨励費, 日本学術振興会, Apr, 2012 - Mar, 2015
-
科学研究費助成事業, 特別研究員奨励費, 日本学術振興会, 2010 - 2011
Academic Activities
12-
Planning, management, etc.Apr 1, 2021 - Present
-
Planning, management, etc.Mar 11, 2024 - Mar 15, 2024
-
Planning, management, etc.Sep 25, 2023 - Sep 29, 2023
-
Planning, management, etc.Oct 24, 2022 - Oct 29, 2022
-
Planning, management, etc.Jun 27, 2022 - Jul 1, 2022
-
Planning, management, etc.May 23, 2022 - May 26, 2022
-
Planning, management, etc.Mar 2, 2022 - Mar 4, 2022
-
Panel moderator, session chair, etc.Jun 22, 2021 - Jun 25, 2021
-
Planning, management, etc.Mar 17, 2021 - Mar 19, 2021