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