Work Experience

  • Apr 2022 - Present, Software Engineer (full-time), IT Company, Tokyo, Japan.
  • Mar 2015 - Mar 2019, Programmer (part-time), Systems Development Division, MK System, Nagoya, Japan.

Education

Teaching

  • Oct 2021 - Dec 2021, Teaching assistant, I413E Theoretical Computer Science (in English), JAIST.
  • Apr 2021 - Jun 2021, Teaching assistant, I211E Mathematical Logic (in English), JAIST.
  • Dec 2020 - Feb 2021, Teaching assistant, I238E Computation Theory (in English), JAIST.
  • Oct 2020 - Dec 2020, Teaching assistant, I211 Mathematical Logic (in Japanese), JAIST.
  • Jun 2020 - Aug 2020, Teaching assistant, I114 Fundamental Mathematics for Information Science (in Japanese), JAIST.

Pre-publication Reviews

  • Hajime Ishihara, Proof Tools (証明作法), Kyoritsu Publications, 2023. In Japanese.