@NaOHaq
Tokyo, Japan
No Organizations you are following
転職先募集中です。できれば在宅勤務が希望です。
Coqなどによるプログラムの正しさの検証・証明に興味があります。
