「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

60(1): 2024/03/22(金)23:30:06.22 ID:CJ8mvd1G(1) AAS
>>56
それ逆だね
mapは関数型言語で登場した
そのRubyやPythonといったスクリプト言語は後からそれを導入した

133: 2024/03/26(火)17:56:53.22 ID:bsMEvYma(3/3) AAS
>>132
125に言え

154(1): 2024/03/31(日)02:04:57.22 ID:XOErjovU(1) AAS
無限級数はトンデモ
物理に現れるのは二次級数まで

218: 2024/04/05(金)05:31:51.22 ID:hIqab58S(1) AAS
オブジェクト指向はもっと柔軟性を高めて欲しいわ。

クラスとかメソッドの集合として外延性を持つようにしてほしい。

307: 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: 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: 01/15(水)08:19:11.22 ID:Uf2ceum5(1) AAS
二分探索やクイックソートのロジックが正しいことを型で証明できるか

920: 01/30(木)01:47:43.22 ID:pmUo+geg(1) AAS
サブタイピングは本当に必要なのか？

989: 02/19(水)10:48:29.22 ID:UfCfSE41(1) AAS
>>987
そうやって横着すると矛盾が混ざるから気をつけたほうが……