Lecture

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

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

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.

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.
  • 2020 2Q (June~) (Class 3b)
  • 2019 2Q (June~) (Class 1b)
  • 2019 2Q (June~) (Class 3b)
  • 2018 2Q (June~) (Class 1b)
• Information Literacy 1, Teaching Assistant. Tokyo Institute of Technology.
  • 2018 1Q (April~)
• Introduction to Computer Science, Teaching Assistant. Tokyo Institute of Technology.
  • 2020 1Q (April~)
  • 2019 1Q (April~)
  • 2018 1Q (April~)