Seminar
In 2019, I'm supervising three students:
Ryo Haruyama (M1), Kenta Sasaki (M1), Haochen Xie (B4)
In the Fall 2017 undergraduate seminar, we are currently reading the following textbooks:
- (Ryo) Hirofumi Yokouchi, Program-Imiron, Kyoritsu Shuppan, 1994 (in Japanese). [Amazon]
A textbook on lambda calculus, combinatory logic, domain theory, and category theory. - (Haochen) Ronald Brown, Topology and Groupoids, Booksurge Publishing, 2005. [Free PDF]
I'm also co-organizing a seminar with Prof. Matsubara and Prof. Yoshinobu:
Nagoya Logic Seminar
Are you interested in joining us?
If you are interested in joining us as a student, please see the following admissions informations:
Note that there is no Fall semester entry for the master's course. However we often accept a student coming from the Fall semester. We first accept such a student as a research student for a half year, and then, from the Spring semester, we accept her or him as a masters course student. (Note also that, in Japan, the Spring Semester starts from April, and the Fall Semester starts from October.) I also recommend every foreign student to take some time to learn Japanese language while she/he is a research student. It is a bit difficult to live comfortably in Japan without speaking Japanese.
For a short visit, we can also host the following program offered by the JSPS:
- JSPS Summer Program (for graduate students and post-doctoral researchers, 2 months from June to August)
If you are interested in joining us as a post-doctoral researcher:
- Please see JSPS Standard Postdoctoral Fellowship for Overseas Researchers (2 years)
- See also other JSPS Postdoctral fellowship programs.
Teaching
- Spring 2018: Mathematical Informatics 1
Googology and Logic: unprovability, fast growing hierarchy, proof-theoretic ordinals. - Spring 2018: Mathematical Informatics 6
Introduction to Mathematical Logic - 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 (in Japanese) - Fall 2017: Theory of Computability 1
Turing machine, decision problem, partial combinatory algebra: Course Notes (in Japanese) - Spring 2017: Mathematical Informatics 1
Introduction to Randomness: Course Notes (in Japanese) - Spring 2017: Mathematical Informatics 6
Introduction to Mathematical Logic: Course Notes (in Japanese) - Spring 2017: Survey on Pure Mathematical Informatics 2
Theory of Recursive Functions - Spring 2017: Linear algebra 1