Fuzzy Sets and Systems 157(5): 642-646, 2006。先日こちらで紹介した論文。preprintはこちら、彼らの運動のサイトはこちら。 ファジイ数学は、色々な人が色々なものを提案しているが、それらの理論はあまりにfragmentationされている：どれも定義の仕方が …

曇り空、湿度も再び高め。起床は10時。メールを書く。昼頃から晴れ間がひろがる。新潟の地震のニュースを見ながら昼食。掃除をしてから論文を読む。昼過ぎからまた強い雨。 夕食は20時、トマトとタマネギと黒オリーブのパスタを作る。塩が足りず。食後、「WX…

本日、中国・中山大学の助教授より Moh Shaw-Kwei 教授について詳報をメールで頂く。それによると 1917年8月13日、中国広西チワン自治区（Guangxi 県） 桂平（Guiping）郡に生まれる。 1939年 Central university（現在の南京大学） 理学部数学科卒業。 卒業…

台風一過、風が強い。起床は11時半。午後になると風がやみ、夏空がひろがる。洗濯日和、洗濯機を5回廻す。 夕方、阪急駅前に行き、モスバーガーで昼食、スーパーとパン屋で食料品を買って帰る。餃子とマグロ豆腐で夕食、食後「パトレーバー2」を見る。 夜は…

昼には台風が鹿児島周辺まで近づく。強い雨が降り始める。 起床は12時半。ボーっとする。ついでにメールをいくつか書く。Cは本日実家に帰ったので、夕食に肉野菜炒めを作る。食後、"Ghost in the shell" と「イノセント」を続けて見る。26時に寝る。

台風が近づいていて、湿度が高い。なま暖かい天気。 起床は9時半、眠い。午前から雑用。領収書を忘れたので、昼に一回帰宅する。午後も雑用。B先生のPCのグラフィックカードが壊れたらしく、業者の人を呼び、対応に追われる。他に事務との間を3往復。 帰宅は…

パラグラフ2つをやってから、Ks氏一時帰国記念祝賀会。私の中国土産（Quine,Carnap, Strawson, McDowellの中国語訳）もお披露目。楽しい時間でした。23時に帰宅。

一日小雨が降り続く。湿度が高い。 本日も休暇。起床は9時半、日記を書いて過ごす。17時半に大学へ、論文印刷。

時々雨が降る。湿度が高い。 本日は休暇。起床は11時。一日休養。疲れた。録画した「さよなら絶望先生」と「らき☆すた」を見る。「絶望先生」がすごい。

起床は6時、ものすごく眠い。チェックアウトして、G氏らとタクシーを相乗りして空港へ。 広州・白雲国際空港。 9時20分の便で帰国。日本の気温は中国より5度低いが、湿度は同じくらい。蒸し暑い。関空到着は13時半、「のだめ」の続き11巻〜15巻を空港の本屋…

私が多値論理上の集合論の勉強を始めたとき、最初に読んだのが、以下の彼の論文である。 Moh Shaw-Kwei. Logical paradoxes for many-valued systems. Journal of Symbolic Logic, 19(1)(1954) pp.37-40 有限値のLukasiewicz論理では、包括原理を仮定すると…

広州はやはり暑い。湿度も高い。 起床は7時半、眠い。本日はエクスカーション、バスで越秀公園・広州博物館・南越王墓博物館・賢聚堂を回る。 広州市の市街地。 高層マンション。 広州博物館より、広州人民防空司令部を見下ろす。 賢聚堂。バスのスプリング…

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

19時、台湾人でスイスの大学院に進学した院生と同席。いろいろ話す。またアムステルダムに留学している中国人の女の子から、「あなたはIKG君にそっくり」と言われる（ちなみにIKG君とはアムステルダム留学中の日本人院生、ご愁傷様です）。20時に部屋に戻り…

は14時半から。会場が普通の会議室に移動した。 First-order Non-deterministic Semantics and Its application (Arnon Avron) イスラエル・テルアビブ大のえらい人。スキンヘッドの矍鑠とした先生。真理表を、確定的ではなく、non-deterministicなTuring ma…

ホテルへ、やっぱりすごい量。広東出身の女の子と同席、漢詩のネタで盛り上がる。ちなみに中山大学ではSusan Haack の本（isbn:0521293294 ?）を論理学のセミナーで使っているそうだ。部屋に帰って発表練習。

一般向け講演第二弾。フローレンス大学教授、今回の会議のプログラム委員会委員長。内容は、ファジイ論理の意味を、Renyi-Ulam gameを使って説明する、というもの。 player I と II が数あてをするゲームを考える。つまり、Iが何らかの自然数を考え、IIが「x…

ご存じファジイ理論の建設者、Z大先生による一般向け講演。はい、ぬるい話でした。いや、つまり、fuzzy logicには「広い意味」と「狭い意味」があり、Z氏の「広い意味のファジイ論理でこそ自然言語をモデル化できる」という主張は、狭い意味のファジイ論理に…

起床は7時半、眠い。朝食はものすごいボリューム。9時から午前のセッション、会場は大講堂で、中国全人代みたいに演壇には造花が敷き詰められ、真っ赤な垂れ幕がぶら下がり、こんなところで発表するのかとビビる。

20時に戻り、「のだめ」を読んでから発表練習。PCをネットにつなぎ、メールチェック、hatenaにつないで日記を書いていると、eather cableがPCから抜け落ち、結局書いた記事は無駄になる。ソリティアをやって、23時半に寝る。

バスで広州講書中心に行き、本を買う。天河城は2年前に比べ、とてもにぎやかになっていた。16時に地下鉄で帰り、発表練習。19時から夕食、量が多い！台湾の大学のW教授（哲学）らと同席、彼は日本に来たこともあるそうで、ちょっと日本語が話せる。外見も英…

広州は暑い。日差しも非常に強い。湿度も高く、時々夕立が降る。 起床は11時。safety boxのパスワードを設定しようとして早速開かなくなってしまい、フロントに泣きつく。ホテルのロビーで国際会議の受付、早速昼食会があることをしらされる。12時から昼食（…

19時半着。大学構内にありながら、えらい高級ホテルだった。 ミニバーのカップラーメンとビールで夕食。「のだめ」を読み、発表練習を二回してから、25時に寝る。

9時、よく晴れる。JR駅前でdvdを返却し、本屋で「のだめカンタービレ」7巻〜10巻を買い、三宮から高速バスで関空へ。14時半の中国南方航空で広州へ。 広州空港は夕立で着陸が30分遅れる。空港でカフェラテを飲み（60RMB・アホみたいに甘い）、バスで市中心部…