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