ランチではじめて行きました。普通の家庭的な和定食屋で、いい感じでした。 夜はちょっとした飲み屋になるみたいです。

Dagstuhlで議論した問題の続き。下界が更新できた、との報告がメールでありました。 まだ証明を確認してないですけど、なかなか面白くなってきました。 自分もがんばらないと。

昨日心配していたのは何だったのかというぐらい豊橋からは逸れました。 そのため、台風一過は暑いです。

今日からは、それぞれが違うパズルに取り組んでいきます。 扱うパズルは、美術館、ナンバーリンク、カックロ、覆面算、ウォールロジックです。 アシスタントを大学院生にお願いして、実習生と議論しながら定式化やプログラミングを一緒にしてもらってます。…