t_yamatoya

181 Contribution

/ Following users

GoとDockerとシェルスクリプトが好きです。 事業会社でシステム開発をしてます。

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

割と普通な子です。Microsoft MVP for Microsoft Azure から外資系社畜へのクラスチェンジ。

こんにちはこんにちは!!

Senior Evangelist at Atlassian, Certified Scrum Master