一階述語論理の論理式の自由変項の定義って意外に細かく考え出すと面倒くさいということが、昨日からの考察でわかりました。 要は、のような(可読性の悪い)論理式をどうするかが問題。変項の付け替えを行わないといけないのです。

院生室会議がありました。新入りは2名。これで机が満席になったわけです。 前々からペンギンがお知らせしてくれているのはいいとして、右下の懇の字を巡る格闘の記録は・・・。あと、「コニンルーム」って。どうやら院生室会議をやるのはうちの院生室ぐらい…