2013年振り返り2014年を迎えるにあたって、2013年を簡単に振り返ってみる。昨年末に買ったNexus7で初めてのAndroid経験&初代iPadから乗り換え。2月スキーで転けて靭帯損傷。プログラミング言語と型の理論』出版と出版記念トークイベント。なし5月Haskellで計算機代数勉強会を開催。去年に引き続いて今年も体調的に微妙で微妙。某自社の株主総会見てきた。7月スカイツリー昇った。ICSE'13勉強会でT芝チームとして発表。