ただのギークです

SW Engineer, Kubernetes & IDCF Cloud. Kubernetes/Cloud Native/Golang/Cloudstack/Rancher Github: http://github.com/bells17 Blog: http://medium.com/@bells17

定理証明系や論理プログラミングに興味をもっています。

こだわることにはこだわるが、飽きたらめちゃくちゃテキトー。ワクワクすることめちゃめちゃ好きだけど、のんびりまったりも好き。おもちゃ／家電／PC大好き。実験好き。

旧nekogeruge_987

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

ニワカが勉強中 http://qurage-log.tumblr.com/

https://twitter.com/sue445