経緯 学校の数学テーマ学習で、なんやかんやあって $\mathrm{Nim}_K$ についての研究（？）をすることになりました。 班員 $1$ が先行研究を見つけてきて、班員 $2$ であるところの Forested が証明込みの この記事 を持ってきてくれたのですが、証明の解読…