Stripe Developer Advocate / JavaScript(TypeScript) / WordPress / AWS / Alexa / Algolia
体脂肪担当
編集リクエスト、コメント大歓迎です。
Coqなどによるプログラムの正しさの検証・証明に興味があります。
プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。