[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
13: デフォルトの名無しさん [] 2024/03/17(日) 22:11:26.89 ID:BrUemZnE(1) AAS
証明支援系が役に立たないなら、そもそも数学で証明を与えることにどういう意味があるのか考えてしまう
66: デフォルトの名無しさん [] 2024/03/23(土) 04:41:11.89 ID:IdPmAPnB(1) AAS
スレタイ
集合と写像が数学の基本らしい
写像というのは関数の一般化だからCは関数言語だから数学できないということになる
Javaのmainは写像だからJavaは数学できる。Rubyにも写像ある
72(4): デフォルトの名無しさん [sage] 2024/03/23(土) 14:11:05.89 ID:O64Y227M(2/5) AAS
>>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は配列に対してではなく
もっと一般的にイテレータに対して適用
結果もイテレータとする
その結果を例えばfor文で使う場合
わざわざ結果を配列に入れても無意味だったことになるからだ
mapを多段にした使った場合も同様で中間結果配列は無意味になる
だからmapの入力も出力もイテレータが使われる
183: デフォルトの名無しさん [sage] 2024/04/01(月) 10:25:34.89 ID:1jCL8ojm(1) AAS
計算機に記号処理での証明は荷が重いやん
これに出来る事は無限に数値計算をする機能だけなんだ
287: デフォルトの名無しさん [sage] 2024/04/14(日) 22:33:23.89 ID:CaUwpcFN(12/12) AAS
継承的集合でいいな
292: デフォルトの名無しさん [sage] 2024/04/15(月) 02:18:27.89 ID:iwi7Bhpd(1/2) AAS
他責というか他人からもらった情報を丸暗記しなければいい
たとえば嫌いな問題は飛ばして好きな問題で点数を稼ぐのも
与えられた情報を好き嫌いで切り取ってしまう技術
401: デフォルトの名無しさん [] 2024/04/17(水) 10:01:20.89 ID:sJRiVtui(1) AAS
いろいろ具体例で実験して発見するのだなあ
604(1): デフォルトの名無しさん [sage] 2024/11/12(火) 16:34:24.89 ID:15KCzjek(5/5) AAS
>>602CoqだのAgdaだのLeanだのすでにあるが、プログラミングのタスクに使うには現実的ではないから使われていない
657(1): デフォルトの名無しさん [sage] 2024/11/18(月) 06:55:13.89 ID:rC7K9dh5(1) AAS
用語の定義と問題設定やってから議論はじめろや
725: デフォルトの名無しさん [sage] 2024/12/05(木) 06:57:10.89 ID:C6AEg4kD(1) AAS
>>721馬鹿が触れなくなるだけでも意味がある
834: デフォルトの名無しさん [sage] 2025/01/14(火) 21:07:31.89 ID:KUHcAlDi(1) AAS
君に要るかどうかは関係ない
852: デフォルトの名無しさん [sage] 2025/01/16(木) 20:35:27.89 ID:FAOk1woG(1/2) AAS
型情報からあまり使ったことない関数でも使い方にあたりがつくのは便利だと思うけどお前はそうではないんだな
876(1): デフォルトの名無しさん [sage] 2025/01/18(土) 15:06:03.89 ID:2/LPmLwt(1) AAS
プログラミングに必要な数学は数値計算で使う数学くらいか？
微積と線形
圏論がプログラミングで無意味なのは誰でもわかるか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s