kururu_goedelさんのところで話題になっていたので。 普通、通俗的な本でラッセル・パラドックスの紹介をすると、「包括原理 (the comprehension principle) が悪いのです、だからZFが建設され問題が解決されました、めでたしめでたし」という結論になってし…

旧版のアレさが薄まって普通のアニメになったと聞いていましたが、見て安心しました。やっぱり電車での問答がないとエヴァじゃないよね。「逃げちゃダメだ」「知らない天井」等も健在。 旧版との大きな違いの一つは、家出の際のエピソードがだいぶ少なくなり…

本日は休暇最終日。起床は10時半。iMacを起動するとネットワークにつなげず、アップルのカスタマーセンターに電話で泣きつく。結局AirMacExtreamをリセットしてネットワークに再接続が可能になった。 13時に外出、電車内で首相辞意表明のニュースを知る。マ…