■

一日中頭痛で唸りながら過ごす。

「オートマトン・形式言語理論と計算論」の 1, 2 章を読んだり。 数学って楽しいー。ていうかプログラミング的？プログラミングが数学的なのか。

プログラミングは文章書くのに似てる、と思ってたけど、帰納法？とかやると数学的だなー。 こーいうのが楽しいと思ってる辺り、scheme に萌えたりするんだろうな。自分。ただ今のとこあまりする気なし。というかプログラミングはする機会なさ過ぎるので多分しないし。