「数学」をプログラミングするには

「数学」をプログラミ ..

296:デフォルトの名無しさん
24/04/15 08:15:15.77 SAfAFkQa.net
>>294
同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。
確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。