Junichi HayashiA web engineer
Enjoy Programming
I've been learning programming languages like C/C++, Java, Perl, TypeScript, Rust, Lean, and more. I'm interested in semantics of programming languages and formal verification, and have been slowly working on developing a compiler for a small homemade programming language in Lean 4, along with proofs of its compilation correctness.
Engineer Web Services
I have over 4 years of experience in developing web services built on the LAMP stack. I'm familiar with both on-premises and cloud environments like AWS. For a detailed overview of my professional experience, please see my full CV. I still want to work as a programmer because I want to engage in programming during the working hours that make up most of my life.
Refresh Myself with Music
I'm a big fan of Nao Toyama's songs, having attended many of her live concerts and even joined a fan club bus tour in 2024. I deeply connect with the lyrics she sings, gaining daily strength from them. I like the sound of the piano and enjoy playing it to perform her music apart from programming, though I'm still a beginner.
