I'm interested in Scala, Functional Programming, LaTeX and Cryptography.
Highlights
- Pro
Takashi Suwa
gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer
Kyoto, Japan
kenji yoshida
xuwei-k
Tokyo
kamakiri_ys
kamakiri01
I'm interested in TypeScript, Game Development, Quantum Computation and VR.
Japan
Tomohiro IKEDA
Korilakkuma
I'm disseminating Web Music as Audio Programmer. "Art" is audio programming and music ... I love code and chord 💖💻🎸🎹🎵
Osaka (sometimes Tokyo), Japan
Kazuhiko Sakaguchi
pi8027
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity
CNRS, ENS de Lyon, UCBL, LIP Lyon, France