今日も今日とて寒い。午前は某書類、Cと阪急駅前で待ち合わせ昼食後、美容院へ。それから三宮へ、メガネのノーズパッドを交換し、電動ひげ剃りを買う。帰宅して夕食、キャベツとマカロニのクリームシチュー。

今日もとても寒い。出勤して原稿書き、他に某先生のお話を伺う。夜は梅田でCと待ち合わせ、デパートに行った後、「司」で夕食。帰宅して書類の続き。

二日続けて寒い。空気が冷たく、外から建物内に入るとメガネが曇ってエレベーターのボタンが押せなかった。出勤して某書類。

急に冷え込む。とても寒い日。 出勤して某書類。他に打ち合わせ、プロジェクトの概要について説明をする。終了後雑談となり、パースの論理式の古典論理での証明の話となるが、証明を思い出せず四苦八苦する（汗）。帰宅して夕食、昨日のクリームシチューにマ…

寒くなる。出勤して打ち合わせと会議、深刻な話。その後は某書類。 帰宅して夕食、白菜のクリームシチュー。

多少暖かい。出勤して、MacBookAir対策。インストールDVDから立ち上げてみると、起動はするが、ハードディスクを認識しない。泣きながらハードディスクをフォーマットし、システムを再インストールする。それからもちろん仕事、報告書を書く。 帰宅して夕食…

暖かい日、一日書類書き。昼食は店屋物、夕食はトマトソースパスタ。 夜、なぜかMacBookAirがスリープ状態から復帰しなくなり、電源を切ると今度は起動しなくなる。冷静に考えてみると、オンライン・バックアップのおかげで、ほとんどのデータはバックアップ…

昼は暖かめ、しかし夕方は雨まじり。本日はCと三宮で買い物。昼に阪急駅で待ち合わせ、「ヴォルカノ」で昼食。それから眼鏡屋でメガネの修理をした後、クリスマスの買いもの。ついでに、冷やかしのつもりで電気屋をのぞいたら、なぜか急遽携帯をiPhoneに機種…

雨が降ったり止んだり。本日はスーツで出勤、夕方から大阪で共同研究先の企業と会議。自分のプレゼンの出来に非常に不満を感じる。 夜は梅田でCとデパートにより、それから「司」で夕食（牡蠣フライ）。

寒い日、夕方から雨。出勤して会議と所内講演会と資料作成。雨の中帰宅、夕食は白菜とホタテのクリームシチュー。

引き続き比較的暖かい。出勤し、コードの不具合対応と雑務で一日が終わる。帰宅して夕食は焼き肉とイカの醤油漬け、汁はお吸い物。

暖かい日。出勤して今週末のプレゼンに関して打ち合わせ。午後、非常勤先に向かい、今年最後の授業。グリベンコの定理を紹介した。その後集合論ゼミ、これも今年最後。 軽く打ち上げをしてから帰宅、夕食はミートソースパスタの残り。

日時：11月22日（日）〜23日（月） 場所：白山セミナーハウス「望岳苑」（石川県白山市） 22日（日）16:00-17:00 Leonardo M. Cabrer （Universidad Nacional del Centro） Completions of BL-algebras (スライド)

日時：2009年11月27日（金）午後4時〜6時 場所：京都大学本部構内文学部校舎第二講義室 主催：京都大学文学部哲学研究室 講演者：Libor Behounek & Petr Cintula （チェコ科学アカデミー） タイトル： Formal fuzzy logic 講演で使用されたスライドは以下の…

寒い日。出勤して一日中事務処理と研究まとめ。帰宅中の車内では翌日の非常勤のスライドを作る。駅前のスーパーでビール缶を8本買って帰宅。夕食はひさびさのミートソースパスタ。

紹介はこちら。 「紫色の霧」なるものが実在することを、始めて知りました。強烈でした。（後で内容を追加します）

8時に起床、朝風呂を浴びてから21世紀美術館へ。近江町市場で炙り海鮮丼を食べ、お土産にイカの醤油漬けを買い、金沢駅へ。18時頃帰宅。夕食はイカの醤油漬けと豆腐と挽肉の和風炒め物と麩のお吸い物。

寒い日。朝方は雨。出勤してコード書き。帰宅して夕食、豚キムチ丼。 食後、明日の講演のスライドを仕上げる。この自転車操業人生。

日時：１２月５日（土）の１０時開始（１８時頃に終了の予定です） 場所：金沢大学サテライト・プラザ二階講義室 演題：ゲーデルの不完全性定理の話 In this talk, we introduce an overview of a proof of Godel's incompleteness theorem. First we see th…

日時：１２月４日（金）の１４：４５より（一時間半から二時間の予定です） 場所：理学部棟第７講義室 演題：嘘つきのパラドックスと不動点 古典論理上の算術で全域的真理述語を仮定すると矛盾を導く（その証明には対角化定理（不動点定理）を使用する）話を…

比較的暖かい日、湿度も上がる。出勤して報告書を書く帰宅後夕食、マグロいくら丼。

寒くなる。出勤してコードの続き。 午後は非常勤の授業、残りあと一回。セミナーをした後、P夫妻とCと百万遍で4人で夕食。23時に帰宅。

比較的暖かい日。出勤してコード書きおよび各種雑用。帰宅して夕食は牡蠣のクリームシチュー。

日時：2009年11月27日（金）午後4時〜6時 場所：京都大学本部構内文学部校舎第二講義室（図の真ん中辺り） 主催：京都大学文学部哲学研究室 講演者：Libor Behounek & Petr Cintula （チェコ科学アカデミー） タイトル： Formal fuzzy logic 要旨： In the t…

昼間で仕事、夕方から講演会。夜は北白川宿舎に泊まる。

比較的暖かい日、出勤して不具合の出た関数のプログラムの修正。他に会議と各種処理。いつも通り帰宅。 夕食は石狩鍋丼。

帰ってきました。楽しかったのですが、ネットに繋げなかったため、途中全く更新が出来ませんでした。追々記事を追加していきます。

「日本・チェコ合同ファジイ論理ワークショップ」二日目。

JSPS日本・チェコ二国間学術交流事業に基づき、部分構造論理とファジイ論理についての合同ワークショップを、下記の要領で開催いたします。 日時：11月22日（日）〜23日（月） 場所：白山セミナーハウス「望岳苑」（石川県白山市） Czech-Japan joint fuzzy …