Research Seminars
I'm also coorganizing a seminar with Prof. Matsubara and Prof. Yoshinobu:
Nagoya Logic Seminar
Student Seminars
In 2020, I'm supervising four students:
Ryo Haruyama, Kenta Sasaki, Haochen Xie, Naoki Kada.
 Yiannis Moschovakis, Descriptive Set Theory, American Mathematical Society, 2009. [Free PDF]
 JeanYves Girard, Proofs and Types [Free PDF]
 Marian B. PourEl and J. Ian Richards, Computability in Analysis and Physics, SpringerVerlag, 1989. [Free PDF]
 Hirofumi Yokouchi, ProgramImiron, Kyoritsu Shuppan, 1994 (in Japanese). [Amazon]
A textbook on lambda calculus, combinatory logic, domain theory, and category theory.  Ronald Brown, Topology and Groupoids, Booksurge Publishing, 2005. [Free PDF]
Are you interested in joining us?
If you are interested in joining us as a student, please see the following admissions informations:
For a short visit, we can also host the following program offered by the JSPS:
 JSPS Summer Program (for graduate students and postdoctoral researchers, 2 months from June to August)
If you are interested in joining us as a postdoctoral researcher:
 Please see JSPS Standard Postdoctoral Fellowship for Overseas Researchers (2 years)
 See also other JSPS Postdoctral fellowship programs.
Teaching

Fall 2019: Theory of Computability 2
Category Theory: adjoint, monad, EilenbergMoore algebra, categorical logic: Course Notes (110 pages, in Japanese) 
Fall 2019: Theory of Computability 1
Partial combinatory algebra, realizability, computable analysis: Course Notes (97 pages, in Japanese) 
Fall 2019: Mathematical Informatics 6
Statistics 
Fall 2019: Mathematical Informatics 5
Probability Theory 
Spring 2019: Mathematical Informatics 1
Googology and Logic: unprovability, fast growing hierarchy, prooftheoretic ordinals. 
Spring 2019: Survey on Pure Mathematical Informatics 2
Primitive recursive functions of higher types, Goedel's Dialectica interpretation: Course Notes (39 pages, in Japanese)  Spring 2019: Advanced Calculus 1
 Spring 2019: Advanced Calculus 2

Spring 2018: Mathematical Informatics 1
Googology and Logic: unprovability, fast growing hierarchy, prooftheoretic ordinals. 
Spring 2018: Mathematical Informatics 6
Introduction to Mathematical Logic Course Notes (57 pages, in Japanese) 
Spring 2018: Survey on Pure Mathematical Informatics 2
Theory of Recursive Functions  Spring 2018: Advanced Calculus 1
 Spring 2018: Advanced Calculus 2
 Spring 2018: Linear algebra 1

Fall 2017: Theory of Computability 2
Representated space, computable analysis, algorithmic randomness: Course Notes (43 pages, in Japanese) 
Fall 2017: Theory of Computability 1
Turing machine, decision problem, partial combinatory algebra: Course Notes (52 pages, in Japanese) 
Spring 2017: Mathematical Informatics 1
Introduction to Randomness: Course Notes (9 pages, in Japanese) 
Spring 2017: Mathematical Informatics 6
Introduction to Mathematical Logic: Course Notes (35 pages, in Japanese) 
Spring 2017: Survey on Pure Mathematical Informatics 2
Theory of Recursive Functions  Spring 2017: Linear algebra 1