2007-09-14から1日間の記事一覧
ラッセル・パラドックスの解決法というとZFが有名ですが、他にもマイナーな解決法がいろいろあります。せっかくなのでそれらを紹介しようというこのシリーズ、前回はRestriction of basic principles に分類される解決法をご紹介いたしました。 今回は、時間…
起床は8時、家を出るときは雨が降っていたが、駅に着くと雨がやんでいた。結局、一日傘を抱えて過ごすことに。 出勤して論文およびチュートリアル読み。平和に一日が過ぎる。19時に研究所を出て、20時に三宮でCと待ち合わせ、久しぶりにHangでハンバーグを食…