昨日の帰りが結構辛かったので、今日は自宅研修。終日、横になって計算していた。 Wang tiles で、ほとんど全ての完全充填が不規則であることを示せるもっとも簡単な模型になっているはず。最近はこれに穴をあけている。境界を固定したまんま、一つ穴をあけ…