https://mstdn.jp/users/Rootport/updates/19102530除算による矛盾証明懐かしいな。中学ぐらいの頃こういうの大好きでブルーバックスとか読みふけったなぁ。
7144民向け