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

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

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

415(1): 2024/04/24(水)00:45 ID:qYUcXmw2(1/5) AAS
>>411
網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが

420: 2024/04/24(水)11:16 ID:qYUcXmw2(2/5) AAS
モビルスーツに手と足と頭があるのも網羅がしたいだけ

425: 2024/04/24(水)14:34 ID:qYUcXmw2(3/5) AAS
「Haskellには依存型がない」は「Cにはclassがない」と同じ形式だし
「数学だから違う」は数学の定理ではない

429: 2024/04/24(水)17:25 ID:qYUcXmw2(4/5) AAS
やりたいことをやってる人は問題ないが必然的にこの道しかないみたいな考えはたいてい間違っている

434: 2024/04/24(水)21:00 ID:qYUcXmw2(5/5) AAS
「道具」には役に立つとか楽になるための道具という意味がなくもない
数学は道具ではないと言うべきだった