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

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

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

721(2): デフォルトの名無しさん [sage] 2024/12/04(水) 23:24:59.54 ID:zvOMcMQ4(1/2) AAS
>>719

719(1): デフォルトの名無しさん [] 2024/12/04(水) 21:39:55.37 ID:8KpdelDL(1) AAS
とにかく実装をしたくない
性質だけ記述したらそのとおり動くものを

理論的には可能だけど
結局複雑さが仕様記述に移るだけ

723: デフォルトの名無しさん [sage] 2024/12/04(水) 23:53:24.41 ID:zvOMcMQ4(2/2) AAS
>>722

722(1): デフォルトの名無しさん [sage] 2024/12/04(水) 23:33:29.55 ID:mntkUkKP(1) AAS
>>721
理論的に不可能と言わないと学のレベルが知れちゃうよ

は？自動証明機の原理と同じって習ってないの？
学がないね