2019/11 - present DevOps Engineer at Fast Retailing Co., Ltd.
2016/4 - 2019/10 Software Engineer at KLab Inc.
2014/4 - 2016/3 Student at Kyoto University Graduate School of Informatics, Computer Software Group
2010/4 - 2014/3 Student at Kyoto University Faculty of Engineering (Informatics)
- ISUCON 2018 24th in the preliminary round
- ICFPc 2018 (team: DiamondPrincess) 26th place in final
standings out of 107 teams
- ISUCON 2017 passed the preliminary round, and got 0 point in the final round 😭
- ICFPc 2017 (team: DiamondPrincess) 2nd place in final
standings out of 146 teams
- blog A blog system built on Firebase. I used
- lua-parser A lua parser written in OCaml.
- agda-handson An agda handson resource (heavily influenced
- ws-ocaml A websocket server implementation written in OCaml.
- ml-prolog A tiny ml interpreter written in Prolog.