引越しと一人暮らし開始。9月ウサギと同居開始。電機連合第34回技術者フォーラムに参加。2013川崎国際多摩川マラソンに参加。川崎グランシティモール実証実験開始Coursera前から少し気になっていたCourseraを1月に試してみて、最終的に以下の9コースを履修。Minnesota自分のスキルのポートフォリオに追加したいと考えたものを中心に、それなりに戦略的に学習してみたつもり。上手くいった部分もあればそうでない部分もあるけれど。自分はデータ分析や統計に関しては大学1年のときに、ほぼ必修の位置づけだった「データ分析」の授業を途中で飽きて切ってしまってから、ほとんど学習しないままになってしまっていたので、その辺りを補完できたのは良かった。Tokyoに参加したところ、その縁で、メディアで取り上げらることになったのは、なかなか貴重な体験だった。コースで割と色々な言語を学べた。その後、そのうちのRとPythonは仕事でもそれなりに使うようになったので、結構役立っている。アノテーションなどを活用したJavaの今風なDIを使ってて、ちょっとおぉと思ったりなんかもした。プログラミング言語と型の理論』を出版。前回のAlloy本こと『抽象によるソフトウェア設計−Alloyではじめる形式手法』が終わり、2011年9月からTAPL翻訳が本格始動したのだけれど、それから1年半ほどかかって、ついに出版にこぎ着いたのがこの3月で、非常に感慨深かった。レビュワー、皆素晴らしい人達ばかりで一緒に仕事をできて光栄だった。出版記念トークイベントという珍しい体験もしてしまったし。2度で、MRIを初体験したり、しばらくギプス(正確にはギプスシーネ)と松葉杖で不便な生活をしたり、さらに結構な間リハビリをしたりとか。ギブスしてると、立ってても座っててもバランスが悪くて、体中凝って仕方なかったのが辛かった。後、しばらくギプスとサポーターをしてるだけで、関節って本当に曲がらなくなるんだなぁ。リハビリしてだんだん動くようになって、人間の関節や筋肉って本当によくできてるなぁと思った。大変な体験だったけれど、周囲からは非常によくしてくれたし、結構学ぶことのあった体験だったと思う。ランニングランニングは500kmの目標を立てていたけど、途中怪我で数ヶ月走れなかったこともあって、320kmほどに留まった。我ながらよく続いたなぁと思うし、自分を誉めてあげたい。大会に参加するという目標は2013川崎国際多摩川マラソンに参加するという形で達成。目標がハーフマラソンだったのに対して8kmになってしまったので、ハーフマラソンを走るのは2014年の目標に持ち越し。ランニング用のスポーツタイツのCW-Xとか色々と買ってしまった。なんかにも関われて、まだまだこれからだけれど、面白い仕事ができた。その他にはFMSPLEで発表したりとか。量化子除去に関して勉強したり簡単な実装をしたりしていたので、思いきってHaskellで計算機代数勉強会という勉強会をゴールデンウィークに開催。マニアックなトピックにも関わらず参加者20人以上も集まり、なかなか楽しかった。アルゴリズムを理解して実装したりとちょっとは進めた。簡単なフロントエンドを付けたもので参加。それなりに健闘した(と思ってる)けれど、今回はあまり振るわなかったねぇ。ベンチマークで2位に入賞して嬉しかった。英語は今年はあんまり頑張れなかった。2013で発表はしたものの、海外には一回も行かなかったし。それに、レアジョブも後半は殆どやらなくなってしまったしなぁ。2014年はその辺りもっと頑張りたいところ。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.5-p319。