[過去ﾛｸﾞ] 「数学」をプログラミングするには (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): 2024/03/23(土)14:11:05.89 ID:O64Y227M(2/5) AAS
>>70
普通mapは配列に対してではなく
もっと一般的にイテレータに対して適用
結果もイテレータとする
その結果を例えばfor文で使う場合
わざわざ結果を配列に入れても無意味だったことになるからだ
mapを多段にした使った場合も同様で中間結果配列は無意味になる
だからmapの入力も出力もイテレータが使われる
183: 2024/04/01(月)10:25:34.89 ID:1jCL8ojm(1) AAS
計算機に記号処理での証明は荷が重いやん
これに出来る事は無限に数値計算をする機能だけなんだ
287: 2024/04/14(日)22:33:23.89 ID:CaUwpcFN(12/12) AAS
継承的集合でいいな
292: 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): 2024/11/12(火)16:34:24.89 ID:15KCzjek(5/5) AAS
>>602
CoqだのAgdaだのLeanだのすでにあるが、プログラミングのタスクに使うには現実的ではないから使われていない
657(1): 2024/11/18(月)06:55:13.89 ID:rC7K9dh5(1) AAS
用語の定義と問題設定やってから議論はじめろや
725: 2024/12/05(木)06:57:10.89 ID:C6AEg4kD(1) AAS
>>721
馬鹿が触れなくなるだけでも意味がある
834: 01/14(火)21:07:31.89 ID:KUHcAlDi(1) AAS
君に要るかどうかは関係ない
852: 01/16(木)20:35:27.89 ID:FAOk1woG(1/2) AAS
型情報からあまり使ったことない関数でも使い方にあたりがつくのは便利だと思うけどお前はそうではないんだな
876(1): 01/18(土)15:06:03.89 ID:2/LPmLwt(1) AAS
プログラミングに必要な数学は数値計算で使う数学くらいか？
微積と線形
圏論がプログラミングで無意味なのは誰でもわかるか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s