離散幾何学フロンティア - タイル・メーカー定理と分解回転合同