[過去ログ]
「数学」をプログラミングするには (1002レス)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
80: デフォルトの名無しさん [sage] 2024/03/23(土) 19:02:25.28 ID:/RLS51iM イテレータなんぞプログラミング側の都合でしかないやろw 数学のどこにイテレーションって概念があるの? もとは集合の話だっけ? 集合のどこにイテレータ出てくる? http://mevius.5ch.net/test/read.cgi/tech/1710585705/80
249: デフォルトの名無しさん [sage] 2024/04/12(金) 17:25:59.28 ID:gi41fiD0 カリー・ハワードだろ 構成論理が前提なのわかってるか? http://mevius.5ch.net/test/read.cgi/tech/1710585705/249
506: デフォルトの名無しさん [sage] 2024/05/03(金) 21:53:18.28 ID:VWU4jyai >>501 知ってても役に立たない知識を自慢げに披露してどや顔する馬鹿 >半単純リー代数の分類も知らぬザコめが http://mevius.5ch.net/test/read.cgi/tech/1710585705/506
756: デフォルトの名無しさん [sage] 2024/12/11(水) 22:19:20.28 ID:9ebR4E1i 微積分レベルの問題をどう検証しろというのか? http://mevius.5ch.net/test/read.cgi/tech/1710585705/756
871: デフォルトの名無しさん [] 2025/01/18(土) 11:19:59.28 ID:7Jaib8zo なんでコンプレックスの話が出て来てるのかさっぱり判らん >>869 それこそ >>865 の説を補強してるだけじゃないの http://mevius.5ch.net/test/read.cgi/tech/1710585705/871
930: デフォルトの名無しさん [sage] 2025/02/03(月) 19:18:40.28 ID:zeOU8J2H スケッチ→スキャッフォルド→スキーマ これが数学的プログラミングの骨格 http://mevius.5ch.net/test/read.cgi/tech/1710585705/930
974: デフォルトの名無しさん [sage] 2025/02/14(金) 10:30:50.28 ID:VTViOKZQ 証明はスケッチの極限 http://mevius.5ch.net/test/read.cgi/tech/1710585705/974
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.037s