• 桜島が火山噴火警レベル4に。どうか噴火しませんように。
  • 錦織選手がナダルに完勝して準決勝へ。最近、スポーツ関係のニュースが多い。
  • 午後から某業務のため出勤。
  • 昼はセブンのコンビニサンド+おにぎり。やはり品質的にはまいばすけっとを上回るが、値段が二倍では迷うところ。
  • 研究室のWindows7機でtrampがうまく動作しない状況を解決しようと努力するが、うまくいかない。しかし、正規表現など、いろいろと復習になったのでよしとする。(この時期だし)
  • あと、様相論理関係もいろいろと復習に精を出す。
  • 順延されたもとすみ会は武蔵小杉のアイリッシュバー。いつも降りない方面なので新鮮。この街も奥が深い。
  • とか言いながら最後はいつもの割烹小杉。いろいろと食べ過ぎる。