上記３人とEG君も招いて我が家で夕食会。Cがこういう日に限って残業になり焦ったが、なんとかつつがなく終了。ミートボールパスタは絶品でした。

ShM君が現在研究中の内容を話すが、大炎上。 ST君の今度の論文の話は非常に面白いと思う。 私は強制法による無限値述語論理+包括原理のモデル構成の話。まぁ、なんとか。

航空便を予約する。８月終わりに長沙で開催されるファジイ理論の国際学会出席のため。便の接続が悪く、帰りは広州に一泊することになりそう。 終戦60周年で盛り上がる８月末の中国、この前も反日デモが激しかったらしい広州。…大丈夫か？

朝起きたら、周りが霧の中。その後雨が強くなったり弱くなったり。湿度が異常に高い。暑い。 忙しい一日。