急いで梅田に向かい、Bicman前で待ち合わせ、読書会メンバーによるKsgさん（留学先に戻る）送別会に参加。24時に帰宅。

アセンブラで書かれたプログラムをモデル検査した事例の報告。モデル化するだけで見つかるエラーは少なくないが、一方で、状態爆発が起こるため実際のモデルを動かすのは大変らしい。

起床は10時、荷造りをする。12時半の新幹線で大阪へ。新大阪のマクドで昼食、千里へ。