teaching

Courses in Latest Academic Year

at Institute of Science Tokyo (formerly Tokyo Institute of Technology)

Programming II, Lecturer. Institute of Science Tokyo.
- 2025 1Q (April~) (Syllabus (old))
Forum on Computing, Lecturer. Institute of Science Tokyo.
- 2025 3Q-4Q (October~) (F3, F4, F5) (Syllabus (old))
- 2025 1Q-2Q (April~) (S3, S4, S5) (Syllabus (old))
Research opportunity in Laboratories (MCS), Lecturer. Institute of Science Tokyo.
- 2025 3Q-4Q (October~) (Syllabus (old))

Research opportunity in Laboratories (MCS)

A research internship course I co-developed with Hidehiko for 3rd-year undergraduates, providing opportunities for hands-on activities in PL research fields.
Course materials
- GPGPU: CUDA by Example and DynaSOAr tutorial with DynaSOAr.
- PL Implementation: The PyPy Tutorial xor The Garbage Collection Handbook (2nd ed.).
- PX: The 40th JSSST Tutorial & Reading PL/HCI conference papers.
- Interactive Theorem Proving: Software Foundations, Volume 1.
- PL Theory: Winskel xor TaPL.

Past Courses

at Institute of Science Tokyo (formerly Tokyo Institute of Technology)

Forum on Computing, Lecturer. Institute of Science Tokyo.
- 2024 3Q-4Q (October~) (F3, F4, F5)
Research opportunity in Laboratories (MCS), Lecturer. Institute of Science Tokyo.
- 2024 3Q-4Q (October~)
  - Lecture 1: The PyPy Tutorial
  - Lecture 2: The Garbage Collection Handbook (2nd ed.)

at Tokyo Institute of Technology

Forum on Computing, Lecturer. Tokyo Institute of Technology.
- 2024 1Q-2Q (April~) (S3, S4, S5)
Programming II, Lecturer. Tokyo Institute of Technology.
- 2024 1Q (April~)

Coursework Support

at Tokyo Institute of Technology

Programming I, Teaching Assistant. Tokyo Institute of Technology.
- 2020 3Q (October~)
- 2019 3Q (October~)
Information Literacy 2, Teaching Assistant. Tokyo Institute of Technology.
Information Literacy 1, Teaching Assistant. Tokyo Institute of Technology.
- 2018 1Q (April~)
Introduction to Computer Science, Teaching Assistant. Tokyo Institute of Technology.