0133132人目の素数さん垢版 | 大砲2023/11/11(土) 00:10:15.43ID:YBqiRc4v >>132 シーケント計算で導出できるかどうかで真偽値を決めるってのはもうやめたのかよ