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

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

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

29(1): デフォルトの名無しさん [] 2024/03/19(火) 12:34:54.32 ID:pUZ6M7m/(1) AAS
動的型付けの証明支援系ってのは何をしてるんだ？

125: デフォルトの名無しさん [] 2024/03/25(月) 21:23:38.32 ID:DOdK3gDR(1) AAS
数学をプログラミングするには、プログラマが数学の必要があるのでは？

173(1): デフォルトの名無しさん [sage] 2024/03/31(日) 21:07:09.32 ID:zVzgI3KY(1) AAS
構成論理でしかない帰納法は逃げ
背理法をプログラミングできてこそ真の数学プログラマ

254: デフォルトの名無しさん [sage] 2024/04/12(金) 17:56:16.32 ID:n/WEiCkF(5/5) AAS
構成的論理ならきいたことはあるが構成論理ってなんだよ

304: デフォルトの名無しさん [sage] 2024/04/15(月) 11:21:19.32 ID:scEUff9F(3/17) AAS
数学系のためのLean勉強会
外部ﾘﾝｸ:haruhisa-enomoto.github.io

444: デフォルトの名無しさん [sage] 2024/04/25(木) 11:27:25.32 ID:JREeyAkZ(1/2) AAS
効いてるな

735: デフォルトの名無しさん [sage] 2024/12/05(木) 20:22:08.32 ID:wt4vQ/2p(1) AAS
Haskell厨かな
妄想も大概に