More details can be found in Kenyon & Okounkov (2005).
さらに詳しくは、Kenyon & Okounkov (2005)に記載がある。