[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
138: 2024/03/27(水)21:56:27.68 ID:sRZ89+IF(2/2) AAS
ラッセルは作る人というより脆弱性を発見する人のように見える
155: 2024/03/31(日)06:02:59.68 ID:954vZkOe(1/3) AAS
↑
数学が何がわかってないやつの典型
虚数もあるとかないとか騒いでるタイプ
159: 2024/03/31(日)12:44:19.68 ID:va6HO9e1(1) AAS
「プログラム技術」板で「数学」がどうのこうの語ってるのがもう頭悪いというか頭おかしい
プログラムも数学もできない、掲示板の使い分けもできない知的障害
248: 2024/04/12(金)17:20:27.68 ID:n/WEiCkF(3/5) AAS
命題 + 証明
↑↓
型 + プログラム
これはカリーハワード同型対応として知られている
このセットで数学といえるかは俺にはわからない
計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか？
332: 2024/04/15(月)21:29:20.68 ID:vvdCRtkm(1) AAS
アホすぎる
355: 2024/04/16(火)21:12:18.68 ID:odkgr9I4(1) AAS
カリー・ハワードって別にそれで何かブレイクスルーが起こったわけでもない
無意味に持ち上げすぎだろ
359: 2024/04/16(火)21:17:45.68 ID:DMBaPuV2(1) AAS
かわいそうに・・・
514: 2024/05/05(日)00:09:27.68 ID:BDRFhWHf(4/10) AAS
なぜ、針の先端
のようなものから
セメント流しこむのか？
本当にそれで合ってる？
527: 2024/05/06(月)09:14:01.68 ID:ZgM9kjEK(1) AAS
トリビアルさんがsageを覚えたようだ
これが柔軟な考え方を可能にする儂らに
663: 2024/11/18(月)13:10:32.68 ID:petr+Idh(1/3) AAS
>>661
微積分もフーリエ変換も超関数も厳密な定義の無いところから始まったんだが
751(1): 2024/12/11(水)16:48:22.68 ID:CTc5DRpT(1) AAS
証明の正確さを検証するためのツールなのに、わかり切った証明（項の交換など）を明示的に書かなければいけない
なんつーか、退化してるよな
768(1): 2024/12/13(金)00:47:18.68 ID:HhuErboB(1) AAS
Ωをプログラムの表現しうる全データの集合
fを関数とするとf∈Ω
しかし、ΩからΩへの関数の集合の濃度はΩよりも大きいから矛盾
どういうことだ
782: 2024/12/27(金)07:49:18.68 ID:hlvzD05r(1/2) AAS
>>781
それは不動点定理ではない
991: 02/19(水)15:52:59.68 ID:8rlYEoii(1/7) AAS
>>990
>プログラミング言語に欠陥がある
という話がどこから出てきたのだろう？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.307s*