[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
68: デフォルトの名無しさん [] 2024/03/23(土) 12:22:12.37 ID:g/HfMmmn(1/9) AAS
>>5656(3): デフォルトの名無しさん [] 2024/03/22(金) 15:38:04.26 ID:m8Pakijg(1) AAS
現代数学は集合と写像の言葉で書かれている
写像は関数の一般化だからC言語やHaskellなどの関数型言語では数学をプログラミングできない
RubyやPythonなどにはsetやmapといった機能があるから
これで数学をプログラミングできると思われる
Cでは関数の引数として関数ポインタを渡せるから、map関数を簡単に自作できる。
97(2): デフォルトの名無しさん [sage] 2024/03/24(日) 14:30:14.37 ID:rmOZT0bw(1) AAS
>>9595(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の方が進化している。
それはarrayを入出力とするmapだね
それは遅延評価もできず可算無限列を扱えない古い劣化タイプ
一方でiteratorを入出力とするmapはarrayだけでなく可算無限列など任意のものを対象にできる
160(1): デフォルトの名無しさん [] 2024/03/31(日) 15:25:06.37 ID:wx8Fg1tF(1) AAS
>>154数学と物理はなんの関係もないぞ
数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから
273: デフォルトの名無しさん [sage] 2024/04/14(日) 12:14:31.37 ID:CaUwpcFN(1/12) AAS
パフュームです♪
436: デフォルトの名無しさん [] 2024/04/24(水) 21:45:02.37 ID:W5xC8R60(1/7) AAS
高崎
常磐
477: デフォルトの名無しさん [] 2024/04/27(土) 17:07:16.37 ID:nw1MgPev(1) AAS
割り当てられたメモリの値を変更できる時点で数学はできない
479: デフォルトの名無しさん [] 2024/04/28(日) 09:02:04.37 ID:0uI3fhfO(1) AAS
プログラミングは数学もできるしアルゴリズムも書ける
517: デフォルトの名無しさん [] 2024/05/05(日) 00:16:19.37 ID:BDRFhWHf(7/10) AAS
まず、トリビアル
これが逆説的に難しい
何も出てこないから
そこで変形する
近視眼的になる
719(1): デフォルトの名無しさん [] 2024/12/04(水) 21:39:55.37 ID:8KpdelDL(1) AAS
とにかく実装をしたくない
性質だけ記述したらそのとおり動くものを
798: デフォルトの名無しさん [sage] 2025/01/12(日) 02:01:35.37 ID:8Ab7i+tr(1) AAS
型に対してプログラミングすべき
867: デフォルトの名無しさん [sage] 2025/01/17(金) 20:14:27.37 ID:b0CV3tPB(1) AAS
>>857857(1): デフォルトの名無しさん [sage] 2025/01/16(木) 22:31:22.46 ID:IceLMl7e(1/2) AAS
代数的データ型やパラメータ多相を使えばプログラムのかなり多くの性質をコンパイラが保証できるのに、わざわざ型検査なしで注意してコード書くとか馬鹿のすること
パラメータ多相のジェネリックな型は特に制約を指定しなければ任意の型がOK何でもありだけど
何の型でもありということは使える範囲も極めて狭いというか
言語によってはprintすることすら任意の型が可能派と必ずしも可能とは限らない派もあり曖昧で
何らかの制約を指定しないと何の処理もできないためその型の値をそのまま返すことしかできなくなってしまう
つまりジェネリック型パラメータに対する制約記述がカギとなる
959: デフォルトの名無しさん [sage] 2025/02/07(金) 19:38:55.37 ID:zGDKiBUV(1) AAS
LU分解
特異値分解
ジョルダン分解
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.053s