Taichi Uemura
@tuemura
True categorical type theory
https://uemurax.github.io
@t_uemura669101
37
フォロワー
22
フォロー中
フォロー
メンション
mixi2
Taichi Uemuraさんを
アプリでフォローしよう
