@amedama

最近はPythonでおしごと, TypeScript + Reactでindie hacking

Android and Flutter Developer

AWS Container Hero maintaining kube-aws, eksctl, brigade, helmfile, helm-diff, etc.

自然言語処理とか機械学習とか競技プログラミングとか

test

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

a2c

転職先募集中です。できれば在宅勤務が希望です。