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

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

719(1): 12/04(水)21:39 ID:8KpdelDL(1) AAS
とにかく実装をしたくない
性質だけ記述したらそのとおり動くものを

720: 12/04(水)21:54 ID:mVwJzDam(1) AAS
つ chatGPT

721(1): 12/04(水)23:24 ID:zvOMcMQ4(1/2) AAS
>>719
理論的には可能だけど
結局複雑さが仕様記述に移るだけ

722(1): 12/04(水)23:33 ID:mntkUkKP(1) AAS
>>721
理論的に不可能と言わないと学のレベルが知れちゃうよ

723: 12/04(水)23:53 ID:zvOMcMQ4(2/2) AAS
>>722
は？自動証明機の原理と同じって習ってないの？
学がないね