あけましておめでとうございます。

あけましておめでとうございます。
2009年は、OCaml Meetingに参加したり、ついでにLLTVに参加したり、Coqを覚え始めたりと充実した年でした。そういえばiPhoneも買った気がします。

2010年は、修論を書き終えて、社会人になるというビッグイベントが待っています。冷静に考えるとビクビクものですが、なんとか無難に乗り切りって、プログラミング三昧な日々を送りたいものです。

そんなわけで、どうか今年もよろしくお願いします。