Graduate School Department /Course /Field Human Coexistence/Mathematical Science/Mathematical Informatics
Undergraduate School Division of Cognitive and Information Sciences
Other Affiliation Institute for Liberal Arts and Sciences
Email tsuiki (at)
Personal Page Website
Research areas Theoretical Computer Science. In particular, computation over topological spaces like R.
Keywords computer science, effective analysis, theory of programming languages
Themes My current interest is computational structure in analysis, from the viewpoint of programming language theory.
Major publications
Professional societies/Research and synergic activities
Teaching Areas
  • Undergraduate courses
  • Graduate courses (Master's program)
  • Graduate courses (Doctor's program)
  • Undergraduate courses open to all departments
KYOTO UNIVERSITY 125th 国際ガラス年 2022 新型コロナウイルスへの対応について