kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

2010-12-31から1日間の記事一覧

今年1年をだらだらと振り返ってみる

今日は大晦日なので、せっかくなので今年1年を振り返ってみる。まず、年初に立てた今年の目標 メタプログラミングの会(仮) を開催する JVM Code Readingの会 を開催する NAPL(Nominal types As Programming Languages)の開発 OnionをScalaで書き直す(Onion2…