Tr氏と夕食へ。カンポ広場でイタリア料理。 茄子。 他にタリアッテレのポルチーニ・ソースを食べる。どれも美味。

最初の講演はHajek氏。fuzzy論理研究の現段階の概観。 それからチェコ・グループ第二段としてBehounek氏の話、ゲーデル論理上の集合論。竹内-地谷のFZFの部分体系で、equality relationはprimitiveとして最初から与えられ、fuzzy relationとして規定されてい…

本会議は、実は、ホストのF.M.氏の60才の記念にあたるとか。おめでとうございます。

よく晴れた日、気温はそれほどでもないが、湿度は低く、日差しが強い。 起床は6時、シャワーを浴びてから原稿作りの続き。