私を探さないでください

旅に出ます。お願いです。私を探さないでください。

2010-09-20から1日間の記事一覧

論理学:野矢茂樹著(東京大学出版会)

わかりやすいという評があったので読みました。 たしかに他よりは読みやすかった、でしょうか。 結局、 論理学の内容自体、自分にはむずかしいようですw ゲーデル数化の説明と例はわかりやすかった。 なんかちゃんと理解できたような気になりました。 そし…

戻ってきた小銭入れ

徳島駅ビルで昼食を食べた後に気づきました。 小銭入れをなくしてしまったようです。 阿波池田から徳島に向かう特急の席が、 もっとも怪しい場所です。 徳島駅に鉄道案内所があります。 そこに届け出ました。 「列車は車庫にはいりました。」 「でも落し物は…