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