日記帳（続編）

世界平和の日に

今日は、知られざる記念日です。

世界平和記念日。

というわけで、こちらはあいもかわらず勉学に勤しむ毎日です。
今日は一日中、頭をフル回転させていたので、疲れました。
CAL演習。
色んな論理ゲームをひたすら解き続ける実習です。
これは実験とは別枠の、というか『計算と論理』っていう授業の副職です。
現在出題されている問題は２１０問。
現在、ようやく７０問までいきました。今日あわせて三日間ほとんど、寝る間
以外、このことを考えてこのざま。

ま、意外と面白いんだけどね。
ただ、今やってんのが、かなりめんどくさいパズルです。
知る人ぞ知るヒルベルト流の命題論理、を用いた導出ゲーム。

とにかく、やったるでー　なーんてね。

---

---

Posted by hotstaff at 2004年11月11日 23:45 | TrackBack