@natsu_nanana

テレコム担当SAチームのマネージャをやっています。以前はOpenShift(Docker+Kubernetes+α)を担当してました。IoT、エンタープライズ系JavaとG*(Groovy,Gradleなど)およびDevOps系もそれなりに経験ありです。

Ruby programmer

Nice to meet you! :)

Coqなどによるプログラムの正しさの検証・証明に興味があります。