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

「数学」をプログラミングするには (726ﾚｽ)
上下前次 1-新

296(2): 04/15(月)08:15 ID:SAfAFkQa(1/3) AAS
>>294
同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。
確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。