寝だめ [雑]

さいきん、あまりがっつりと寝ていなかったので、きのうは「ほとんどいちにち」と言ってもいいぐらいの睡眠をとっておきました。じっさいのところ、平生あまり睡眠がとれていないのを、どこかでいっぺんに償却するというのはできないはなしらしいのですが、まあ、そういうことは気にすまい。

借り本 [本]

Same ol', same ol'.

何も考えずに書く [かなりダメな話]

ほんとうは、さいきん図書館で借りた本をメモしようとおもったのだけど、何かそれもおっくうで、そのうえ、他に書くこともないので、何も考えずに、見切り発車してみる。

論理学の定番教科書 [本]

論理学の定番教科書と言うと、

A Mathematical Introduction to Logic, Second Edition Herbert B. Enderton (Academic Press, 2000)

Introduction to Mathematical Logic (Discrete Mathematics and Applications) Elliott Mendelson (Chapman & Hall, 2009)

Introduction to Metamathematics Stephen Cole Kleene (Ishi Press, 2009)

あたりがぱっと思いつくのですが、これらについてざっくりとした私見を少し。

Google Mapsのストリート・ヴューで近所散策 [留学]

先日、Google Mapsのストリート・ヴューがカナダにも対応したことを発見し、調子に乗ってツイッタ上でいま住んでるところの近所を紹介したときのログです。

さんぽ [雑]

今日は、それなりにながいことさんぽに出かけました。以下、さんぽのとちゅうから撮った写真（とじゃっかんのコメント）です。おそらく、おおかたの人にとって興味をひく話題ではないと思われます。

いつものやつ [本]

いつものやつです。

借り本 [本]

　

日付問題 [雑]

お気づきのかたもいられるかもしれませんが、さいきん記事の日付を、こちらカナダでの日付に合わせていました。ただ、日本基準で考えると、どうしても日付がずれてしまうし、それに、いちいち手動で日付指定するのもめんどうなので、また従来の方式、つまり、こちらは何日であれ、また、その記事の出来事がこちらカナダで何日に起ころうと、その記事を投稿した日本の日付をもって記事の日付とすることにします。

今日のクリプキの講演 [雑]

今日のクリプキの講演のお題は「ヒルベルト・プログラムの崩壊」というタイトルで、きのうの「可能世界の構造」よりもおれとしては数段おもしろかったのですが、ざんねんながら、そのことについて書く時間がありません。ああ、ほんとざんねんだざんねんだ（って書くと、ぜんぜんざんねんそうではありませんが、これについて書かないのはじっさいざんねんなので、ちゃんと仕込みをしてから、いつか書きます）。