逃避

ThreadPool の例題を作っていたはずだが、SAT solver を例題にしようと思って、そういえば、昔、簡単なのを書いたなと思って...

で、何故か、論理式のパーサをJava で書いてます。昔、学生が書いたのがあったような気もするが...

他にやることたくさんあるんだけどな。でも、だいたい出来てしまった感じ。

gcc の読み会は、学生に任せると中断してしまうな。コメント読むのに辞書引くなよ〜