0420 昨晩は$x^2-Ny^2=1$が自然数解を無限個持つことの証明を読みました。実2次体$\Q(\sqrt{N})$の単数群が無限群になるので、その分だけ$\Z[\sqrt{N}]$の素元分解がばらけて解が無限個できる。いや、これは素元分解とは限らないのかな? お昼から仕事。具合悪いけど進捗はまあまあ。検証が始まったので本格的に不具合対応です。あとずっと気がかりだった実装漏れもだいたいいい感じになったし。ラストスパート感。 さて具合悪いです。