今年は今日で仕事納め。日記書くのも最後だな。 今年もいろんな人にお世話になりました。ありがとうございました。来年もよろしうに。

打ち合わせでまた東京にいきました。爆弾低気圧のせいでヒドい目にあいました。

勉強のために作ってみました。もうちょっとさっぱり書けるようになるといいんですが。 チャーチ数で"1+1"はこんな感じです。 $ghci Main.hs * Main> runS "(\\mnsz.ms(nsz))(\\sz.sz)(\\sz.sz)" "\\sz.s(sz)"α変換はありません。これから勉強します。

東京に帰ってきた。家も気になるし。ダイエットのため夜ご飯を控えめにしてみました。

OSS WEBのタイトルが「Open Source Web」なのはちょっと面白い。

SICPをコツコツ解いています。OSS WEBとStructure and Interpretation of Computer Programsに時々お世話になってます。 http://oss.timedia.co.jp/show http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-4.html#%_toc_start

福井で仕事してます。私も嫁も元気です。 これからしばらくgmailのメールはあんまりとれません。まあ自分以外誰も困らないとは思うけど。

もっとHaskellを書きたい。もっと本を読みたい。

仕事で3ヶ月ほど福井に行くことになりました。ちょくちょく東京には来るけど、ベースは向こうで。なんだか色々と頭とか体とか弱っちゃったし、せっかくなので立て直してこようと思います。