@tplantd

HQ社でソフトウェアエンジニアをしています。大昔に Qiita を開発していました。

仕事ではワードエクセル仕事が多い趣味プログラマーです。

hogelog http://hogel.org/

Emacs とキーボードがすき

D言語とか出来ます

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

自宅研究員（首席）。ぼちぼちソフト作家。 テニス・オセロ・ゲーム類が趣味の年齢不詳のおじさんです。vi と C++が好き。 リモートなお仕事募集中でござるぞ。

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

Haskellプログラマです。

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と架橋が好き

(-:(-:(-:-)-:)-:)

Software Engineer

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