亡者開発者

T-Code連習中

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

アイマスとNode.jsが好きなPHPエンジニア（Scalaや.NET、Androidの経験もあり）

細々とウェブやクライアントのコードを書いています。 なにかありましたらお声がけしていていただければ。 flutter/vue/C/C++/C#/PHP/Java/Laravel/Unity etc.

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

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

Software Engineer / 1984年生まれ。広く浅め。ボーっとするのが好きです。

"><xmp>