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