さて、書籍 p.125 によると異なる 1st レジスタの値を $n$ 個 ($y_1,\cdots,y_n$) 測定できたとすると、以下の $\mod2$ の方程式が Gauss の消去法 (吐き出し法) などで解けるとのことである。\begin{align*} \begin{cases} y_1 \cdot s &= 0 \\ &\vdots \\ …