@misc{sumire:2610.00003:15:v3, author = {hora}, title = {{無限gameとω-semigroup}}, year = {2026}, note = {SUMIRE:2610.00003/15, v3}, url = {https://sumire.aiformath.jp/p/2610.00003/n/15/v/3} }