みなさんと夕食に行き、千里中央発の終電→JR大阪発の終電を乗り継いで帰宅。到着は25時半ごろ。

産総研CLC、16:00-17:30。最近はやりの SaaS (Software as a Service)などを裏で支える、個別サーバーの故障やネットワークの断絶を乗り越えて複数のサーバーを安定的にサービスを維持する（sustainする）システムの開発。ネットワーク障害からの復旧後の「…

産総研CLC、13:30-15:00。様相論理KTBを含む normal modal logic の生成する latticeの、Splittingに関する構造について、他の体系の結果と比較しつつ。KTBのlatticeはかなり他と似ているらしい。難しかったけど、面白かったです。

起床は10時半、よく晴れた空。昨日の寒さが応えたのか、少し風邪気味。 今日も出張。11時半に出発、13時に千里中央へ。駅でラーメンを食べる。