書籍 p.125 からがよく分からない。また、Simon's Algorithm を見ると書籍と条件が違うように見える。書籍では $x^\prime = x \oplus s \Rightarrow f_s(x) = f_s(x^\prime)$ だが、Qiskit-textbook ではちょっと形が違う。書籍の条件だと、$x^\prime = x \o…