@tamtam180

D言語とか出来ます

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

JavaScript (HTML5, Node, jQuery) Perl R Hadoop MongoDB DataMining MachineLearning InfoGraphics

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

お気楽な開発者でございまっす。所属する組織とは無関係で、あくまで個人の書き込みでございますー。

PerlとEmacsが好きです。