Researcher @ UTokyo
interested in DB & storage systems
- Tokyo
- http://hayamiz.com/
Momoko Hayamizu
hayamizum
The inteface of discrete mathematics and life sciences
Waseda University Tokyo, Japan
Ryo Onodera
ryoqun
Super-stack engineer from Linux kernel to UI, exceptional problem-solver based on that, also led a startup as CTO.
@solana-labs 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
Tsuyoshi CHO
tsuyoshicho
駄作er
npub1j0q96yq8p5dpwwy59ke3y4g0pu4a4t4m7ngerkahx0jzmk7ykdxq46z5jm
Kanagawa, Japan
Tokuhiro Matsuno
tokuhirom
Kotlin/Rust/Python engineer.
I wrote Java, Perl5, C, C++, Kotlin, and golang for $DAYJOB.
Sakura Internet Tokyo, Japan