@yutakat
Tokyo, Japan
Salesforce.com
No Organizations you are following
No tags you are following
実はVTuberです
Coqなどによるプログラムの正しさの検証・証明に興味があります。
