0324132人目の素数さん垢版 | 大砲2024/05/18(土) 22:26:11.96ID:dFtrDe5F >>322 1)シーケント計算で最小論理はどういうもの? 2)シーケント計算でLJは後件が一つ以下となる理由は?