SAIR IGP24 参戦記録:次数24多項式の探索手法をランダム生成から群構造ベースへ転換
次数24の整数係数多項式において、素朴なランダム探索では generic な群 24T25000 に収束する課題を特定し、LMFDB を活用した構造的構成法へ移行した。