skymountainさんのプロフィール

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

プロフィール最終更新日: 2010/07/27

はてなID: skymountain
一行紹介: 大学院1年生．型システムやら型理論なんかをやってます．