Yusuke Kushida

秋田でプログラマーをしています。大学では数理ファイナンスを専攻していました。最近は型理論に興味があります。