NARAZAKI, Shuji
@shujinarazaki
Personal projects
View allLoading
Loading
About
A programmer using Nuxt.js, Vue.js, NixOS, Rust, MongoDB, GCP. A Researcher on the satisfiability problem, studying logic, category theory and type theory. A user of Emacs, Haskell, Latex, Linux, R, macOS. A cycle deliverer.
Info
Fukuoka, Japan
Member since June 09, 2018