[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
95(1): デフォルトの名無しさん [] 2024/03/24(日) 11:46:51.50 ID:BUlt442E(1/6) AAS
プログラム言語は機械語→アセンブラ→高級言語 と進化してきたが、高級言語にも高級度の段階があって
gotoジャンプ→構造化ループ→map→ベクトル演算 という序列になっている。
y = x.map(i => 2 * i) のように冗長な記述をしなければならない言語よりは、ベクトル演算で y = 2 * x と
すっきり書けるFortranの方が進化している。
180(2): デフォルトの名無しさん [sage] 2024/04/01(月) 07:29:40.50 ID:ZaHsxqNm(1) AAS
ゲーデルの不完全性定理とかプログラミングに関係ないぞ
293: デフォルトの名無しさん [] 2024/04/15(月) 02:29:44.50 ID:ANhhwFml(1/5) AAS
πの任意の桁は定数時間で求まる
453: デフォルトの名無しさん [sage] 2024/04/26(金) 00:22:39.50 ID:v8FaoBvR(1) AAS
本体と付属品が別なのは当たり前だが問題は
名詞に相当するものが本体で動詞やら形容詞やらは付属品というのは本当か？
598: デフォルトの名無しさん [sage] 2024/11/12(火) 10:46:16.50 ID:15KCzjek(3/5) AAS
>>597問題だと思わないならすべてのソフトウェアをマシン語直接書けばいいと思うんだけど、そうしないの？
617(1): デフォルトの名無しさん [sage] 2024/11/14(木) 06:47:55.50 ID:FKItOak5(1) AAS
やらないやつは
どんな便利な道具を与えても
どのみちやらない
639(1): デフォルトの名無しさん [] 2024/11/15(金) 20:05:57.50 ID:6Uab757C(1) AAS
>>631631(1): デフォルトの名無しさん [] 2024/11/15(金) 11:22:24.79 ID:0M5G5fCx(1) AAS
数学は純粋関数型言語と同じで副作用がないが、プログラミングは副作用を扱えるので、プログラミングは数学の完全上位互換といえる
プログラミングにも数学にも、それぞれ出来ることと出来ないことがあるので上位互換ではない。
無限に細かいドットが無いからこそ、離散数学でなるべく滑らかに表示できるように考えられているってだけでも、
比可算無限（実数の無限）の再現困難性が理解できると思う。
プログラミング 数学
副作用 稠密（有理数・実数の概念）や連続（実数の概念）
858: デフォルトの名無しさん [sage] 2025/01/16(木) 22:36:34.50 ID:IceLMl7e(2/2) AAS
人類未曾有のソフトウェアを書くならともかく、巷のプログラムの9割近くのコードはただデータを整形してマッピングしてるだけ
あとの一割は既存のライブラリの呼び出し
現代のプログラミング言語の型システムがあれば、IDEの入力補完に従ってるだけでバグの無いコードが書ける
画面にらみつけてロジック確認なんかしてんのはただのアホ
954: デフォルトの名無しさん [sage] 2025/02/07(金) 01:46:02.50 ID:KWZjh6Se(1) AAS
>>953知らんから教えて
>>952の内容も
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.057s