- Naoyuki Yamada@chokkoyamada
ただのギークです
- @bells17
SW Engineer, Kubernetes & IDCF Cloud. Kubernetes/Cloud Native/Golang/Cloudstack/Rancher Github: http://github.com/bells17 Blog: http://medium.com/@bells17
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- Fujiwara Takahiro@kasumani
こだわることにはこだわるが、飽きたらめちゃくちゃテキトー。ワクワクすることめちゃめちゃ好きだけど、のんびりまったりも好き。おもちゃ／家電／PC大好き。実験好き。
- @onigra
旧nekogeruge_987
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- Qurage@qurage
ニワカが勉強中 http://qurage-log.tumblr.com/
- GO Sueyoshi@sue445
https://twitter.com/sue445
