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

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次 1-新

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

13: デフォルトの名無しさん [] 2024/03/17(日) 22:11:26.89 ID:BrUemZnE(1) AAS
証明支援系が役に立たないなら、そもそも数学で証明を与えることにどういう意味があるのか考えてしまう