片山功士 (@katayama

片山功士

@katayama_k

自営のプログラマです。楽器も好きですが基本的にヘタクソです。2011年の初めぐらいから関数型言語に気持ちが傾き始め、夏ぐらいからちょっとまじめに勉強してます。でも仕事と子育て（４人）に追われままならず・・・。目下F#とCoqとAlloyが興味の中心かな。

市川市randmax.jpJoined March 2010