あけましておめでとうございます。 2009年は、OCaml Meetingに参加したり、ついでにLLTVに参加したり、Coqを覚え始めたりと充実した年でした。そういえばiPhoneも買った気がします。2010年は、修論を書き終えて、社会人になるというビッグイベントが待ってい…