https://hal.inria.fr/inria-00515548/file/main-rr.pdf を読む