conf.researchr.org / Hiromi Ishii
Registered user since Wed 12 Feb 2025
Name:Hiromi Ishii
Bio:
Currently working at Software Development Division of Jij, Inc.
Affiliation:JIJ Inc., Japan
Personal website: https://konn-san.com
GitHub: https://github.com/konn
Research interests:Mathematical Logic,ProgrammingLanguage,Functional Programming,Type Theory
Contributions