Profil de skymountain

大学院1年生．型システムやら型理論なんかをやってます．

ProfilDernière mise à jour: 27 juil. 2010

Hatena ID: skymountain
Description: 大学院1年生．型システムやら型理論なんかをやってます．