2010年5月14日（金）に、慶応大学において、セミナーでお話をさせていただけることになりました。公式HPはこちら。 日時：2010年5月14日（金）18:30〜20:00 場所：三田キャンパス東館4階セミナー室 要旨： 本発表では、ファジイ論理の『真理値』の解釈の問題…

よく晴れた日。午前中はR君セミナー@skype。昼食は牛筋カレー。その後京都駅でCと待ち合わせ、京都国立博物館の長谷川等伯展に行くが、余りの人手に早々に退散する。その後祇園に行き、鯖寿司を食べる。帰宅後は授業と発表の準備。

朝は雨交じり、昼には止む。出勤して某原稿。夕方、上司から電話が入り、池田での会議が長引いたため、打ち合わせの場所を変更するとのこと。急遽尼崎から池田に駆けつけ説明する。その後三宮へ、Cと「ピノッキオ」に行きピザを食べる。

雨。強く降る。出勤して各種処理。一日中忙殺される。帰宅して夕食、CがIKEAで買ってきたミートボールを使ってミートボール・パスタ。

暖かい日。昼頃起床、洗濯をする。昼食は鶏ミンチとタマネギのトマトソースパスタ。食後は部屋の模様替え、本棚を別の部屋へ移動する。夕食は残ったソースにペンネを絡める。食後は雑用色々。

夜、西宮の映画館のレイトショーで「涼宮ハルヒの消失」を見る。Cは長門派らしい。

今朝、メールが届き、9月にプラハで開かれる国際会議 "Logic Algebra and Truth Degrees 2010" にアクセプトされたとの通知を受けました。 これは、Lukasiewicz無限値述語論理 ∀Ł 上、包括原理を持つ集合論 H について、モデルを強制法で構成する方法につい…

砂山のパラドックスの変形バージョンです。以前考えて、すっかり忘れていたのですが、ふと思い出したので、ここに書いておきます。 数百年前の遺跡は、地中に埋まっている。つまり、当時の人の暮らしていた地面の上に、いつの間にか何メートルもの土が積もっ…

11月に東京で開催される数理言語学・形式意味論のワークショップ "Logic and Engineering of Natural Language Semantics 7" (LENLS7) において、あの天才のAlexandru Baltag氏と並び、invited speakerとして講演をさせていただくことになりました。内容は、…

GW二日目、よく晴れる。しかし依然として気温は（5月としては）低め。