0284132人目の素数さん垢版 | 大砲2013/10/16(水) 08:42:30.69 >>283 >>280についてのレスがよくわからない 通常与えられた文字列が論理式かどうかが機械的に判定できる体系を扱うものだからね。