ランダムドットステレオグラムアプリ - その6

こういうのって、ちょっとずつでも進めてないとすぐ忘れてしまう。ほんの１行２行でも書いていれば記憶がリフレッシュされるけど、4、5日なにもしないともう何のことだかわからなくなってしまう。僕だけか、そういうのって？

こないだの続きの数学の整理で、あらためて規格化した大文字のHを使って、p_h < ρ+|| H(p, q) ||の場合を考える。これは基準タイルではなく、T₁自身の左側を参照することになる。つまり

となる。右側タイルを左端から作っていくことにすれば、この値は確定している。 この右辺はT₀を参照しているはずなので

として、

である。ρ（バー付き「ロー」のつもり）を戻してみればわかるが、T₀の引数の中のh(p, q)は入れ子になっていることに注意する必要がある。

次のタイルT₂を配置することを考える。これはさっきのT₀を基準にT₁を作ったときと同じことをT₁を基準にして作ればいい。

つまり

とすればいい。同様にT_n+1に対して

とすればいいことはすぐわかる。

また、T₂について

として、

とすることになる。これもh(p, q)の引数が入れ子になる。ややこしいけど、これを繰り返すことで全部のタイルを同時に決定することができる。同様に

とできる。