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

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

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

297: 2024/04/15(月)08:24 ID:SAfAFkQa(2/3) AAS
>>296
おっと
×有理体 ○有理数体

307: 2024/04/15(月)12:50 ID:SAfAFkQa(3/3) AAS
>>306
クロネッカーみたいだな。