今日は「データベース」と「計算の理論II」

をやりました。「データベース」の方は正規形をする前に代数をやっていないとまずいことに(今頃)気がついたので、急遽入れ替え。「計算の理論II」の方は、原始帰納関数の残り、というか、原始帰納的述語まわりをぐにゅぐにゅやってから、部分帰納関数とかを最後駆け足で。次からはTuring Machineなので、もうちっと楽しくなるかも。いや自分的には楽しいんですが…Turing Machine。

ミニテストを整理して、資料をバインドしておかないと〜。あーめんどくさい。いやそうやって放置していると後で悲惨なことに…。