Takayuki Kihara Last updated: 12/04/30 15:00
Profile [Research Interest] Recursion Theory; Reverse Mathematics; Computable Analysis (TTE); Effective Randomness; Descriptive Set Theory.
Career
Apr 2012
-
Today
Research Fellow of the Japan Society for the Promotion of Science (JAIST)
Apr 2010
-
Mar 2012
Research Fellow of the Japan Society for the Promotion of Science (Tohoku University)
Apr 2009
-
Mar 2010
Global COE research assistant at Tohoku University
Apr 2009
-
Mar 2011
Ph.D., Mathematical Institute, Tohoku University, Japan (Shortened)
Prizes
Mar 2011
Hakushi-Ronbun Kawai-syo (Kawai Prize for Ph.D. thesis), Kawai Suri-kagaku Zaidan (Kawai Mathematical Sciences Foundation)
Mar 2009
Yusyu Sosetu-ronbun-syo (Excellent Review Paper Award), Kawai Suri-kagaku Zaidan (Kawai Mathematical Sciences Foundation)
Papers
Kojiro Higuchi, and Takayuki Kihara
preprint 106 pages
Kojiro Higuchi, and Takayuki Kihara
How the World Computes (CiE 2012), LNCS 7318 304-313 2012 [Refereed]
Takayuki Kihara
How the World Computes (CiE 2012), LNCS 7318 385-395 2012 [Refereed]
Recursive marriage theorems and reverse mathematics
Makoto Fujiwara, Kojiro Higuchi, and Takayuki Kihara
preprint 35 pages 2012
Takayuki Kihara
submitted 27 pages 2011
Takayuki Kihara
preprint 15 pages 2011
Joshua A. Cole, and Takayuki Kihara
Archive for Mathematical Logic 49(1) 1-16 Jan 2010 [Refereed]
Douglas Cenzer, Takayuki Kihara, Rebecca Weber, and Guohua Wu
Tbilisi Mathematical Journal 2 77-94 2009 [Refereed]
Kojiro Higuchi and Takayuki Kihara
Mathematical Theory and Computational Practice, Local Proceedings of Fifth Conference on Computability in Europe, CiE 2009 Extended Abstracts 176-185 2009 [Refereed]
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
Misc
Effectively closed sets and degrees of unsolvability
Takayuki Kihara
Ph.D. thesis, in Mathematics, Tohoku University Feb 2011
Degree structures of mass problems and formal systems of Ramsey-type theorems
Takayuki Kihara
Master's thesis, in Mathematics, Tohoku University Feb 2009
Conferences
Takayuki Kihara
Workshop on Proof Theory and Computability Theory 2012: Philosophical Frontiers in Reverse Mathematics, Harumi Grand Hotel, Tokyo, Japan Feb 2012
Takayuki Kihara
The twelfth Asian Logic Conference, Victoria University of Wellington, New Zealand Dec 2011
Takayuki Kihara
Schloss Dagstuhl "Computing with Infinite Data: Topological and Logical Foundations", Saarland, Germany Oct 2011
Non-computability of planar continua
Takayuki Kihara
Logic Seminar at Technische Universität Darmstadt, Germany Oct 2011
The fine structures inside degree spectra
Takayuki Kihara
Workshop on proof theory and theory of computing, Tokyo Metropolitan University Sep 2011
Natural intermediate Medvedev degrees of Takayuki Kihara
Logic Seminar at National University of Singapore Aug 2011
Takayuki Kihara
Colloquium on Mathematical Logic, University of Amsterdam, Nederland Jul 2011
Mass problems and limit computable mathematics: Hyperarithmetical hierarchy of anticupping degrees
Takayuki Kihara
Logic Seminar in Ghent University, Belgium Jul 2011
Takayuki Kihara
Computability in Europe 2011, "Models of Computation in Context", Sofia University, Bulgaria Jun 2011
Kojiro Higuchi and Takayuki Kihara
Computability in Europe 2011, "Models of Computation in Context", Sofia University, Bulgaria Jun 2011
Deciding first order truths in the Medvedev lattice of Takayuki Kihara
Logic Seminar at Nanyang Technological University, Singapore May 2011
Global and local noncomputability of simply connected zero sets
Takayuki Kihara
The 3rd GCOE International Symposium Feb 2011
Takayuki Kihara
Workshop on Proof Theory and Computability Theory, Akiu, Japan Feb 2011
Effectiveness for planar dendrites and dendroids
Takayuki Kihara
Tohoku Logic Seminar Oct 2010
Incomputability phenomena of Takayuki Kihara
RIMS Workshop on "Formal Systems and Computability Theory", Kyoto University, Japan Sep 2010
Takayuki Kihara
Computability in Europe 2010, "Programs, Proofs, Processes", Ponta Delgada (Azores), Portugal Jul 2010
Takayuki Kihara
Workshop on Constructive Aspects of Logic and Mathematics, Kanazawa, Japan. Mar 2010
Takayuki Kihara
Workshop on proof theory 2009, Inawashiro, Fukushima, Japan Feb 2010
Godel's incompleteness theorem, recursively axiomatizable theories, and Medvedev degrees of unsolvability (Poster Session)
Takayuki Kihara
The 2nd GCOE International Symposium Feb 2010
Notions of reducibility for mass problems
Kijiro Higuchi and Takayuki Kihara
Computability in Europe 2009, "Mathematical Theory and Computational Practice", Heidelberg, Germany Jul 2009
Degrees of difficulty of effectively closed sets
Takayuki Kihara
The 11th Asian Logic Conference, Singapore Jun 2009
Takayuki Kihara
Sendai Logic and Philosophy seminar, Matsushima, Japan Feb 2009
gmail.com