@misc{sumire:2610.00003:16:v3, author = {hora}, title = {{Game is not a topos}}, year = {2026}, note = {SUMIRE:2610.00003/16, v3}, url = {https://sumire.aiformath.jp/p/2610.00003/n/16/v/3} }