katayama_k
(katayama_k)
利用開始日: 2012/07/07
自営のプログラマです。楽器も好きですが基本的にヘタクソです。2011年の初めぐらいから関数型言語に気持ちが傾き始め、夏ぐらいからちょっとまじめに勉強してます。でも仕事と子育て(4人)に追われままならず・・・。目下F#とCoqとAlloyが興味の中心かな。
所属グループ
2016
/
08/25
(木)19:00〜
キャンセル
2013
/
12/01
(日)00:00〜
申込済
2012
/
07/20
(金)19:00〜
申込済