Stripe Developer Advocate / JavaScript(TypeScript) / WordPress / AWS / Alexa / Algolia

体脂肪担当

編集リクエスト、コメント大歓迎です。

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

プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。