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