盤面上の制約を省くと、数値だけになりますよね

7:08 PM

その時についでにパスのルールも省くと、オセロを圧縮したモノを内包した巨大な集合が出来るので

7:09 PM

その中でワイン問題を立証するのが一番楽そうだ、という

7:10 PM

https://discordapp.com/channels/291054398077927425/499393715140558881/706582713645137920 これ+1ではなく-1じゃないかな、そうすると全て成り立ちそう