Haskell で XML ファイルを入出力する作業が必要になった。というわけで、Haskell の XML Parser を調べ見ると、HXT (Haskell Tool Box) というのが標準的だそうな。というわけで、早速 Windows XP上にインストールしてみる。のだが、なかなかうまくいかない…

Haskell のお勉強をした。Agda の経験があるから、すんなりと理解できた（ように思う）。実際ゴリゴリ書こうとすると、いろいろとボロが出るんだろうが。ギターを習うときに、最初にFを鳴らす練習をすればいいといっていた人がいた。F で挫折する人が多いか…

勉強するときや読書するときなど、本に線を引いたり、本に書き込む人っていますよね。僕はあれってどうかなと思います。というのも、本は何回も読むものだと思うのですが、前に引いた線のせいで本が読みにくくなります。特にカラフルになってたりすると、次…

これまではライブドアでブログかいてたんですけど、今回ははてなダイアリーで書くことにしました。その決め手は、使い心地です。 はてダは直接編集できていい感じだね。

新年も明けましたことだしね。 どうぞよろしく。