Note_1

ポートによっては$u+b^{1-2t}$が返されることがある。X02 Chapter introduction [nAG, 2003] を参照。