[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
39: デフォルトの名無しさん [] 2024/03/19(火) 17:56:38.86 ID:P1OcOpxu(1) AAS
証明支援系Lean4
数式処理システムSage
組版システムLaTeX
を組み合わせたオープンソースの統合数学環境と、黒板の文字や図を認識する入力インタフェースがあればいいと思う
84(1): デフォルトの名無しさん [] 2024/03/23(土) 22:23:29.86 ID:g/HfMmmn(7/9) AAS
>>8383(2): デフォルトの名無しさん [sage] 2024/03/23(土) 21:27:18.93 ID:u0/iUo5p(1) AAS
>>82
あんさんボケとるな
ここまで読んで反復子(iterator)が写像(map)と書いているのは君しかいない
他の人たちは以下を正しく理解して書込みしている
>>72
>> だからmapの入力も出力もイテレータが使われる
>>7474(3): デフォルトの名無しさん [sage] 2024/03/23(土) 15:36:22.16 ID:O64Y227M(3/5) AAS
>>73
配列から配列なんて嘘つきだな
例えば写像の入力を数学でもよくある自然数とする
これは配列では表現できない
イテレータならば表現できる
出力も同様で配列は不可能だがイテレータなら可能
はごっちゃにしているようだが。
反復子を使っても遅延評価をしなければ、mapを多段に使った場合の効率は良くならない。
例えば、C++ STLのtransformがそう。
>>7070(3): デフォルトの名無しさん [] 2024/03/23(土) 12:47:39.65 ID:g/HfMmmn(2/9) AAS
>>69
機械語に識別子はないからできないだろ。Cでは長さnの配列aの各要素に関数fを適用した結果を
配列bに格納する関数 map(f, a, n, b) を簡単に自作できる。
のような配列のmap関数でも、引数fとして複数の関数の合成関数のポインタを渡せば、
効率は良くなる。あるいは、引数fとして関数ポインタの配列を受け入れるようなmap関数を
書いても良い。
244: デフォルトの名無しさん [sage] 2024/04/12(金) 16:40:24.86 ID:gi41fiD0(3/5) AAS
チューリング完全は算法に関する性質
数学そのものではない
289(1): デフォルトの名無しさん [] 2024/04/14(日) 23:06:54.86 ID:bCnJWLVL(1) AAS
>>286286(2): デフォルトの名無しさん [] 2024/04/14(日) 22:02:11.90 ID:ZXz6cRZI(2/2) AAS
>>270
うん…。
まあ、そもそも有限ステップで証明可能な事と、近似値ではない真の値を求めることを混同してる>1が悪いって事やね。
ε-δ論法で証明出来るのはいくらでも精度の高い近似値を求められる（それをもって極限の存在を証明）ってだけやし。
1/3 = 0.33...は無限につづくから真の値は求められないとか言ってるようなもん
小学生レベル
311: デフォルトの名無しさん [sage] 2024/04/15(月) 16:25:33.86 ID:scEUff9F(6/17) AAS
上に書いておいただろ、ど素人目が
319(1): デフォルトの名無しさん [sage] 2024/04/15(月) 18:47:48.86 ID:Qlt6SMAG(1) AAS
横からだけど>>317は
理系の大学数学(所謂現代数学)における論理展開の流れや
存在の証明とされるパターンが分かってないから、かなりの独学なのかな
始めの内は簡単な教科書を(定理部分だけ)拾い読みするんじゃなくて
書いてある文章や定義、証明を精読しないと論理展開が抜け落ちて話が通じないよ
>>318318(1): デフォルトの名無しさん [] 2024/04/15(月) 18:41:51.88 ID:NsRnPyj0(1/6) AAS
デデキント切断や完備化などが出てきても
有理数を既知として実数体を構成しているということが理解できない
これでは数学書をいくら読んでもザルで水をすくうようなもの
が書いてくれたか、任せた
410: デフォルトの名無しさん [sage] 2024/04/19(金) 09:50:12.86 ID:EGRRzOnw(1) AAS
商人なら主語を修正する
学者なら述語を修正する
中立ならどっちも修正するか、何も変えない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s