skymountain's Profile

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

ProfileLast updated: Jul 27, 2010

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