朝、ゆっくりおきて論文査読。午後、寝っころがってWang tile をあれこれ。観念して実際の構成の証明を読む。なるほど、なんとなくわかったので、昨夜やっていた簡略版の可能性をいじろうとしたが、それはまるでダメ。途中でうたた寝してしまった。もう愚直…