[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
94: 2024/03/24(日)11:34:31.12 ID:yjeBPx06(1) AAS
集合論はラッセルのパラドックスで矛盾した
だから集合と写像に基づくC言語やRubyは数学を扱うのに不適切
よってハスケルなどは圏論に基づくから関数型言語が正解
117(1): 2024/03/25(月)10:25:12.12 ID:VsfGDznC(1) AAS
圏論型プログラミングってないの？
305(1): 2024/04/15(月)12:00:05.12 ID:ANhhwFml(4/5) AAS
>>303
実数体Rの存在
413: 2024/04/22(月)19:57:50.12 ID:Z/mW1wgm(1) AAS
国際社会では日本はすっかり女性差別および児童ポルノ大国と見られている
シリアやアフガニスタンと同列の人権後進国だと見なされている
585: 2024/11/04(月)20:25:56.12 ID:rgFUj3k3(2/2) AAS
「プログラミング」これも長ったらしい
短い言い換えはできないもんかね
「表示的意味論はそのプログラミングでできる部分をプログラミングするという意味のプログラミングの機能が乏しい」
そういう意味ではこんな一文よく平気で晒せるな、思うわけよ
専門用語で言葉遊びしたい子かなとか単に頭悪そうとか、そういう感想しか出てこないわけよ
586: 2024/11/04(月)21:23:55.12 ID:xJc0M/SU(2/3) AAS
なんか夢見てる感じの文章な気がするぞ。
うーんじゃあどう言い換えるの？
関数型言語を中間言語にしてプログラム変換？
なんか簡潔すぎて意図通じない感がするけどなあ。
633(1): 2024/11/15(金)12:20:53.12 ID:vpDW14Vh(1) AAS
数学は数学で記述される
したがって、数学で数学をすることは不可能
999: 02/19(水)17:06:31.12 ID:8rlYEoii(7/7) AAS
>>997
>使うツールが間違ってる
正直、こんなことを言ってる時点で程度が低すぎる
洗濯機のない時代にその出現を想像できてる人に、「お前は洗濯板の使い方が間違ってる」とか言ってるようなもん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.117s*