[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
43(1): デフォルトの名無しさん [sage] 2024/03/20(水) 10:18:59.26 ID:ea1o2Ub5(1/4) AAS
>>3636(2): デフォルトの名無しさん [] 2024/03/19(火) 17:00:04.15 ID:WY0TXEXb(3/3) AAS
lean4はプログラミング言語としても、haskellやrustくらいパワフルな言語なので、cだのfortranだの勉強するよりプログラミングの勉強にもなる
CやFortranの評価が低いということはHaskellの中でモナドの評価が低いよね
それはもったいないから言語を競争させる原理はよくない
56(3): デフォルトの名無しさん [] 2024/03/22(金) 15:38:04.26 ID:m8Pakijg(1) AAS
現代数学は集合と写像の言葉で書かれている
写像は関数の一般化だからC言語やHaskellなどの関数型言語では数学をプログラミングできない
RubyやPythonなどにはsetやmapといった機能があるから
これで数学をプログラミングできると思われる
69(1): デフォルトの名無しさん [sage] 2024/03/23(土) 12:23:33.26 ID:TQ7fzTlo(1/3) AAS
空論、絵に描いた餅、機械語にだってできるだろｗｗｗ
372: デフォルトの名無しさん [] 2024/04/16(火) 21:46:19.26 ID:UT47qync(8/9) AAS
効果音は、Diggy
614(1): デフォルトの名無しさん [sage] 2024/11/12(火) 23:10:47.26 ID:/X8f5cV1(1) AAS
>>612定理証明支援だろ
日本語読めんのか？ｗ
648(1): デフォルトの名無しさん [] 2024/11/17(日) 21:09:34.26 ID:vlQbYPk+(1/2) AAS
>>647じゃあやってみて。
言語は問わないので。
672: デフォルトの名無しさん [sage] 2024/11/18(月) 16:37:50.26 ID:IQFlTfLo(3/7) AAS
数学、プログラム、実装がごっちゃまぜ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s