Takayuki Kihara

J-GLOBAL         Last updated: Oct 4, 2018 at 21:25
 
Avatar
Name
Takayuki Kihara
E-mail
kiharai.nagoya-u.ac.jp
URL
http://math.mi.i.nagoya-u.ac.jp/~kihara/
Affiliation
Nagoya University
Section
Graduate School of Informatics
Job title
Lecturer
Degree
Ph.D.(Tohoku University)

Profile

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 Infinite Dimensional Topology.

Please visit: http://math.mi.i.nagoya-u.ac.jp/~kihara/

Education

 
Apr 2009
 - 
Mar 2011
Ph.D., Mathematical Institute, Tohoku University
 
Apr 2007
 - 
Mar 2009
M.S., Mathematical Institute, Tohoku University
 
Apr 2003
 - 
Mar 2007
B.S., Mathematical Institute, Tohoku University
 

Academic & Professional Experience

 
Apr 2017
 - 
Today
Lecturer, Graduate School of Informatics, Nagoya University
 
May 2015
 - 
Mar 2017
JSPS Postdoc, Department of Mathematics, University of California, Berkeley
 
Apr 2012
 - 
Mar 2015
JSPS Postdoc, JAIST
 
Apr 2011
 - 
Mar 2012
JSPS Postdoc, Mathematical Institute, Tohoku University
 
Apr 2010
 - 
Mar 2011
JSPS research fellow DC2, Mathematical Institute, Tohoku University
 

Awards & Honors

 
Jan 2013
LA/EATCS JAPAN Best Presentation Award, European Association for Theoretical Computer Science (EATCS), Japan Chapter
 
Mar 2011
Kawai Prize for Ph.D. thesis, Kawai Mathematical Sciences Foundation (Mathematical Institute, Tohoku University)
 
Mar 2009
Excellent Review Paper Award, Kawai Mathematical Sciences Foundation (Mathematical Institute, Tohoku University)
 

Published Papers

 
Takayuki Kihara and Antonio Montalbán
to appear in Transactions of the American Mathematical Society      2018   [Refereed]
Takayuki Kihara and Antonio Montalbán
Transactions of the American Mathematical Society   370(12) 9025-9044   2018   [Refereed]
Takayuki Kihara and Arno Pauly
In Proceedings of 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), Leibniz International Proceedings in Informatics (LIPIcs)   58:1-58:14   2016   [Refereed]
Josef Berger, Hajime Ishihara, Takayuki Kihara and Takako Nemoto
to appear in Archive for Mathematical Logic      2018   [Refereed]
Takayuki Kihara
Logical Methods in Computer Science.   12(4) 1-35   2016   [Refereed]
Takayuki Kihara
Sets and Computations, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore   33 117-155   2017   [Refereed]
Takayuki Kihara
Fundamenta Mathematicae   230 1-13   2015   [Refereed]
Kojiro Higuchi and Takayuki Kihara
Annals of Pure and Applied Logic   165(6) 1201-1241   2014   [Refereed]
Kojiro Higuchi, and Takayuki Kihara
Annals of Pure and Applied Logic   165(5) 1058-1114   2014   [Refereed]
Takayuki Kihara and Kenshi Miyabe
Journal of Logic and Computation   24(4) 863-882   2014   [Refereed]
Kojiro Higuchi and Takayuki Kihara
Annals of Pure and Applied Logic   165(9) 1445-1469   2014   [Refereed]
Makoto Fujiwara, Kojiro Higuchi, and Takayuki Kihara
Mathematical Logic Quarterly   60(3) 136-153   2014   [Refereed]
Kojiro Higuchi, and Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS   7318 303-312   2012   [Refereed]
Takayuki Kihara
How the World Computes (Turing Centenary Conference, CiE 2012), LNCS   7318 384-394   2012   [Refereed]
Takayuki Kihara
Computability   1(2) 131-152   2012   [Refereed]
Takayuki Kihara
Mathematical Structures in Computer Science   25(8) 1649-1668   2015   [Refereed]
Joshua A. Cole, and Takayuki Kihara
Archive for Mathematical Logic   49(1) 1-16   2010   [Refereed]
Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu
Tbilisi Mathematical Journal   2 77-94   2009   [Refereed]

Misc

 
Computability of subsets of metric spaces
Zvonko Iljazovic and Takayuki Kihara
accepted      2018   [Refereed]
Searching for an analogue of ATRTex in the Weihrauch lattice
Takayuki Kihara, Alberto Marcone, and Arno Pauly
in preparation      2018
Takayuki Kihara
preprint      2017
Enumeration degrees and non-metrizable topology
Takayuki Kihara, Steffen Lempp, Keng Meng Ng, and Arno Pauly
in preparation      2017
Ordinal ranks on the Baire and non-Baire class functions
Takayuki Kihara
preprint      2017
Null additivity in the theory of algorithmic randomness
Takayuki Kihara and Kenshi Miyabe
submitted      2014
Vassilios Gregoriades, Takayuki Kihara and Keng Meng Ng
submitted      2014
Takayuki Kihara and Arno Pauly
submitted      2014
Takayuki Kihara
Effectively closed sets and degrees of unsolvability
Takayuki Kihara
Ph.D. thesis, in Mathematics, Tohoku University      Feb 2011
Notes on reverse recursion theory and reverse mathematics
Takayuki Kihara
Proof theoretical study of the structure of logic and computation, RIMS Kôkyûroku (proceedings)   1635 51-59   Apr 2009
Degree structures of mass problems and formal systems of Ramsey-type theorems
Takayuki Kihara
Master's thesis, in Mathematics, Tohoku University      Feb 2009
Longyun Ding, Takayuki Kihara, Brian Semmes, and Jiafei Zhao
submitted      2018

Conference Activities & Talks

 
TBA [Invited]
Takayuki Kihara
The Sixteenth Asian Logic Conference   May 2019   
TBA [Invited]
Takayuki Kihara
Thirteenth International Conference on Computability, Complexity and Randomness   Dec 2018   
Computability Theoretic Methods in Descriptive Set Theory
Takayuki Kihara
Symposium on Advances in Mathematical Logic 2018   Sep 2018   
On the structure of the Wadge degrees of BQO-valued Borel functions [Invited]
Takayuki Kihara
Logic Seminar at Swansea University   Sep 2018   
Weihrauch reducibility for some 3rd order principles [Invited]
Takayuki Kihara
Dagstuhl Seminar, Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis   Sep 2018   
On the Structure of the Wadge degrees of BQO-valued Borel functions [Invited]
Takayuki Kihara
The Logic Colloquium 2018: the 2018 annual European Summer Meeting of the Association for Symbolic Logic   Jul 2018   
Weihrauch Counterparts of Reverse Mathematical Principles [Invited]
Takayuki Kihara
The 2018 North American Annual Meeting of the Association for Symbolic Logic   May 2018   
The ultimate analysis of some hierarchies under ADTex [Invited]
Takayuki Kihara
手形 L4 研究集会   Mar 2018   
Ordinal Ranks on the Baire and non-Baire class functions
Takayuki Kihara
The Second Workshop on Mathematical Logic and its Applications   Mar 2018   
Topologizing the degree theory [Invited]
Takayuki Kihara
Oberwolfach workshop on Computability Theory   Feb 2018   
Borel isomorphisms at the second level
Takayuki Kihara
The 2nd Pan Pacific International Conference on Topology and Applications   Nov 2017   
Wadge-like classifications of real valued functions [Invited]
Takayuki Kihara
Aspects of Computation: in celebration of the research work of Professor Rod Downey   Aug 2017   
Martin-like phenomena in the classification of real-valued functions [Invited]
Takayuki Kihara
Fourteenth International Conference on Computability and Complexity in Analysis (CCA2017), Daejeon, Republic of Korea   Jul 2017   
Topological aspects of enumeration degrees [Invited]
Takayuki Kihara
Dagstuhl Seminar 16081 "Computability Theory", Schloss Dagstuhl, Germany   20 Feb 2017   
The second level Borel isomorphism problem [Invited]
Takayuki Kihara
Southern Wisconsin Logic Colloquium, University of Wisconsin--Madison, USA   23 Jan 2017   
The uniform Martin conjecture and Wadge degrees [Invited]
Takayuki Kihara
Algorithmic Randomness Interacts with Analysis and Ergodic Theory, Oaxaca, Mexico   8 Dec 2016   
Computability-theoretic methods in descriptive set theory [Invited]
Takayuki Kihara
the Fall 2016 Central Section Meeting of the American Mathematical Society, University of St. Thomas, Minneapolis, USA   29 Oct 2016   
The uniform Martin’s conjecture and the Wadge degrees
Takayuki Kihara
Computability Theory and Foundations of Mathematics 2016, Waseda University   21 Sep 2016   
Degrees of unsolvability in topological spaces with countable cs-networks
Takayuki Kihara
Workshop on Mathematical Logic and its Application, Kyoto University   17 Sep 2016   
The structure of natural many-one degrees [Invited]
Takayuki Kihara
Workshop on Computability Theory 2016, Ghent, Belgium   5 Jul 2016   

Association Memberships