tmiya

機械学習とか推薦システムの仕事をしています。 関数型言語と形式手法も好きです。