第 4 章。DocID = PAT
expressions ということが判明。論文も入手。ついでに
suffix-signature なる方法も知る。