寒い日、一日中薄暗い。冬支度に入り、リビングにカーペットを出す。 昼間はずっと原稿書き。夕方にCと外出、洋服屋に行った後「鳥光」で夕食。本屋によって帰宅。

曇り、気温が低く、湿度の高い日。家で原稿の続き。夕方、Cと近所の女子大の大学祭に行ってみるが、天気のせいかお客が少ない。ついでに、客の7割が男子大学生のみのグループというのが微妙な感じ。帰宅して原稿の続き。夕食は白菜のクリームシチューとパッ…

暖かい日。出勤して事務処理。昼から共同研究先の企業で会議、方針転換を提案したら「我々もそういう転換を提案しようと思っていたのです」と熱烈に賛同されてしまい、拍子抜け。 夜は懇親会、24時に帰宅。

The Monist, vol.89, no.1, pp.118-149 (2006). 古典論理で矛盾を導くパラドックスの典型例と言えば、嘘つきのパラドックスでしょう。このパラドックスでは「文L = 『Lはウソである』」というように、循環性によって矛盾を導きます。この印象があまりに強い…

昼間はよく晴れるが、夜になって強い雨になる。出勤して打ち合わせ各種、大きな方針変換をする（明日共同研究先に説明しなければならないかと思うと気が重い）。 21時半に帰宅、夕食はエビのマカロニグラタン。

オハイオとヴァージニアとフロリダを制した野党候補が勝利。感極まって泣き出すジャクソン師の姿が非常に印象的でした。

今日もよく晴れる。起床して某書類をネット上で修正、それからCNNを見る。"Too close to call" だったはずのオハイオでかなり早い段階に選挙人獲得確実が出て驚く。ニューメキシコで選挙人獲得確実が出た時点で家を出る。研究所についたら、すでに当確が出て…

Tkさんとの会話。 「インディアの人の論文を拾って来たのですが、インディアの検証技術ってスゴいんですか？」 「インリアの研究レベルは日本より遥かに上ですよ」 「？」「？」 インディア(india)とインリア（INRIA）の違いですが、しかし、 日本人だったら…

晴れた日。出勤して資料調査。先週末の某事件は夕方になって急転直下の解決を見る。驚く。 読書会によってから帰宅。夕食はカボチャのスープとホウレン草のソティー。

一日原稿書きと資料整理。夕方にCと駅前のスーパーに買い物に行く。夕食はフィットチーネのクリームソース。

晴れた日。一日中外に出ず、読書と資料調べと原稿を書いて過ごす。昼食は牛筋のおでんにうどんを入れたもの、夕食はベーコンとタマネギのトマトソースパスタ。

快晴。昼は暖かい。 市街地を見下ろす。 本日は結婚記念日なのでCと外出。 近所の川も水面が映える。 バスで三宮に出る。市街地で雑誌の撮影（らしい）をしていた。 市役所南側の東遊園地ではもうルミナリエの準備が始まっていた。 市街地をまわり、某大手家…