[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
37: デフォルトの名無しさん [] 2024/03/19(火) 17:06:08.09 ID:50xBt2sS(1) AAS
>>29推論規則にしたがって項を削除したり、条件をみたす要素を深さ優先探索したり
52(1): デフォルトの名無しさん [sage] 2024/03/20(水) 17:51:55.09 ID:ea1o2Ub5(3/4) AAS
>>50すでに常識になっていることを「先入観にとらわれている」と思う人はいる
先入観をリセットしてやり直したい需要は多少はある
208(1): デフォルトの名無しさん [sage] 2024/04/03(水) 00:13:26.09 ID:pETdSMu9(1) AAS
数学一般を広く浅くプログラミングできない
離散数学のバイアスがかかっている
不完全性と同様に、バイアスと言われても痛いと自覚しないやつほど順調に先に進める
429: デフォルトの名無しさん [sage] 2024/04/24(水) 17:25:41.09 ID:qYUcXmw2(4/5) AAS
やりたいことをやってる人は問題ないが必然的にこの道しかないみたいな考えはたいてい間違っている
465: デフォルトの名無しさん [sage] 2024/04/26(金) 15:41:42.09 ID:/+TxHGye(3/4) AAS
同じ入力に対して常に同じ出力をかえすのが数学の関数だからコルーチンは邪道
597(1): デフォルトの名無しさん [sage] 2024/11/12(火) 06:09:24.09 ID:NBuxYVaH(1/2) AAS
こいつの中では問題らしい
732: デフォルトの名無しさん [sage] 2024/12/05(木) 18:38:56.09 ID:0lWk1Gz/(1/2) AAS
>>728728(1): デフォルトの名無しさん [sage] 2024/12/05(木) 14:18:22.51 ID:sS2Eeasw(1) AAS
無理です
TypeScriptのような強力な型システムを備えていれば、
2つの型が等しいことを確かめることは原理的にできません
TypeScriptの型システムは強くない
ザルのJavaScriptに比べればマシという程度
それでも実用的な型システムは強ければ強いほど開発効率が上がる
気付いた人たちはもっと強力なプログラミング言語へ移行する
一方で数学的な各種概念などを型システムに採り入れただけの言語は実用には遠い
741: デフォルトの名無しさん [sage] 2024/12/08(日) 18:25:16.09 ID:BmTfINn6(1) AAS
>>740こんなのプログラミングに使わないけどw
中高生がプログラミングするのは今や当たり前だけどw
769: デフォルトの名無しさん [sage] 2024/12/13(金) 01:09:14.09 ID:zE9P8o7z(1) AAS
>>768768(1): デフォルトの名無しさん [sage] 2024/12/13(金) 00:47:18.68 ID:HhuErboB(1) AAS
Ωをプログラムの表現しうる全データの集合
fを関数とするとf∈Ω
しかし、ΩからΩへの関数の集合の濃度はΩよりも大きいから矛盾
どういうことだ
表示的意味論かよ。
795: デフォルトの名無しさん [sage] 2024/12/30(月) 07:54:23.09 ID:AFoxKaw/(2/2) AAS
SNSで炎上商売
796: デフォルトの名無しさん [sage] 2024/12/30(月) 23:30:57.09 ID:djpp6m1u(1) AAS
商売なら買い手に責任がある
商品や作品の側に罪はないという理屈で変な物が作られる
買い手の方は責任を果たすために優れた物を買い、自然淘汰されるべき物には不買運動をする
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s