B氏・Ci氏らによる研究プロジェクト。Web siteはこちら。飲んでいるときに紹介される。また、プロジェクトのマニフェスト Behounek L., Cintula P.: From fuzzy logic to fuzzy mathematics: A methodological manifesto. Fuzzy Sets and Systems 157(5): 64…

19時から、またB氏・Ci氏と飲む。M氏からお褒めの言葉に与る、光栄です。夕食後はCi氏の部屋で3人で24時までビールを飲む。

Context-depending logic could handle paraconsistency in unconscious state (Tzu-Keng Fu) 台湾人の院生氏。矛盾許容論理のシステムの紹介と、矛盾許容論理の三派（オーストラリア・ブラジル・ベルギー）の内、彼の属するベルギー派は精神状態などの記述…

12時半から。チェコ人のB氏・Ci氏と一緒。Hajek流ファジイ論理の話で意気投合、2009年に（予算が取れれば）「非古典論理上の数学の建設」というテーマで国際会議をやるので、是非来てくれと誘われる。ついでに、3人中2人は、午前で発表が終わったので、開放…

私の発表は11:15-11:50。内容はHajekの定理の証明の簡略化について。かなり興味を持ってもらえた様子です。発表の要旨は以下の通り（ご興味がある方はこちらをご覧ください）。 Set theory: CL0 with the comprehension principle within Lukasiewicz predic…

Statistical reasoning -Simpson's paradox (Jacek Malinowski) 確率論で有名なSimpsonのパラドックスについて、それを整合的に表現できる論理体系を考える。Kolmogorovの確率論ではイベント空間上の集合について定義される確率と、文について定義される確率…

起床は7時。眠い。発表の日は朝から緊張する。朝食時、揚州の島出身の中国人と同席、魚釣りで有名な島だそうで、魚の話で盛り上がる。