@misc{sumire:2610.00003:16:v1, author = {hora}, title = {{Gameの圏はtoposか}}, year = {2026}, note = {SUMIRE:2610.00003/16, v1}, url = {https://sumire.aiformath.jp/p/2610.00003/n/16/v/1} }