筋トレ。腹筋を集中してやって痛くなる。

なのだが、補講。で、さらにポインタのマニアックなお話。とくに関数ポインタ。こんなポインタ型がでたら発狂するかも。 void (*f()[])() これは、voidを返す関数を格納した配列の先頭を示す関数ポインタ。というもの。確かに、この関数ポインタは前に述べた…

演習時間。今日は標準形の練習。問題ないが面倒だ。

まずは列挙型について。いわゆるenumである。私は結構好きなのだが、先生によるとあまり使われないとのこと。理由はＣは（いい意味でも悪い意味でも）いい加減な言語なため、型の制限が緩すぎて、ひどい書き方ができてしまうからだという。確かに一理あるけ…

今日は、論理式の標準形(normal form)を求めようという授業。これはできるだけ論理式を扱いやすい形に変換しようとするものである。数学を取り扱うと必ずと言っていいほどこのような概念が存在する。 標準形には２つあり、論理和標準形(Disjunctive Normal F…

最近の日記は前の大学の「講義のツボ」のようになってきたなぁ。でも、ほんと書くことが勉強のことしかありません。いいことなんだろうけれど・・・。 この日ははじめて４限連続の授業。つかれるぜぃ。