[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
60(1): デフォルトの名無しさん [sage] 2024/03/22(金) 23:30:06.22 ID:CJ8mvd1G(1) AAS
>>5656(3): デフォルトの名無しさん [] 2024/03/22(金) 15:38:04.26 ID:m8Pakijg(1) AAS
現代数学は集合と写像の言葉で書かれている
写像は関数の一般化だからC言語やHaskellなどの関数型言語では数学をプログラミングできない
RubyやPythonなどにはsetやmapといった機能があるから
これで数学をプログラミングできると思われる
それ逆だね
mapは関数型言語で登場した
そのRubyやPythonといったスクリプト言語は後からそれを導入した
133: デフォルトの名無しさん [sage] 2024/03/26(火) 17:56:53.22 ID:bsMEvYma(3/3) AAS
>>132125に言え
154(1): デフォルトの名無しさん [] 2024/03/31(日) 02:04:57.22 ID:XOErjovU(1) AAS
無限級数はトンデモ
物理に現れるのは二次級数まで
218: デフォルトの名無しさん [sage] 2024/04/05(金) 05:31:51.22 ID:hIqab58S(1) AAS
オブジェクト指向はもっと柔軟性を高めて欲しいわ。
クラスとかメソッドの集合として外延性を持つようにしてほしい。
307: デフォルトの名無しさん [sage] 2024/04/15(月) 12:50:03.22 ID:SAfAFkQa(3/3) AAS
>>306クロネッカーみたいだな。
399: デフォルトの名無しさん [] 2024/04/17(水) 09:05:43.22 ID:eWa5nsHI(1) AAS
酒をのんだら、無意識に呼吸できなくなった
寝られない
470: デフォルトの名無しさん [] 2024/04/26(金) 18:43:55.22 ID:hVnzlfRF(1/3) AAS
∃.elim(h, (w) => ((hw) => q))
478: デフォルトの名無しさん [] 2024/04/28(日) 01:44:22.22 ID:rN6WPJxf(1) AAS
つまりプログラミングは数学よりも強力ということ
485: デフォルトの名無しさん [] 2024/04/28(日) 12:01:18.22 ID:UWVjL+Gl(1) AAS
>>483嘘
490: デフォルトの名無しさん [] 2024/05/03(金) 07:58:46.22 ID:0CJEHho2(1) AAS
モジュラ計算はマルチコアに依存するからプログラミングではできない
521: デフォルトの名無しさん [sage] 2024/05/05(日) 13:19:56.22 ID:7WTeO/Yw(1/2) AAS
結論からいうとqは最大公約数的で全部の駅を合わせればいいんだな
わかった。
581: デフォルトの名無しさん [] 2024/11/04(月) 19:51:27.22 ID:rdTeenaM(1) AAS
原理的に可能でも、現実的には不可能…なるほど…。
もっと原理的にも不可能な部分が多いかと思っていたので意外でしたし、大変勉強になりました。
ありがとうございましたm(_ _)m
844: デフォルトの名無しさん [sage] 2025/01/15(水) 08:19:11.22 ID:Uf2ceum5(1) AAS
二分探索やクイックソートのロジックが正しいことを型で証明できるか
920: デフォルトの名無しさん [sage] 2025/01/30(木) 01:47:43.22 ID:pmUo+geg(1) AAS
サブタイピングは本当に必要なのか？
989: デフォルトの名無しさん [sage] 2025/02/19(水) 10:48:29.22 ID:UfCfSE41(1) AAS
>>987987(2): デフォルトの名無しさん [sage] 2025/02/19(水) 08:41:08.67 ID:I0XIk1Cj(1) AAS
数学やってる人間からすると、プログラミング言語はどれも抽象度が低すぎて読み書きが苦痛でしかない
そりゃRustとかHaskellとかで満足してる人にとっては、他の言語とそれらの間には天と地ほどの隔たりがあるんだろうが、
一度数学を身につけてしまうと、見下ろしている位置が高すぎて、プログラミング言語なんてどれも機械語とほとんど変わらない
そうやって横着すると矛盾が混ざるから気をつけたほうが……
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s