[過去ログ]
「数学」をプログラミングするには (1002レス)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
301: デフォルトの名無しさん [sage] 2024/04/15(月) 09:36:29.81 ID:scEUff9F >>299 実数の構成に5つぐらいある、切断とか。それに同値なものを同じものとみなすこともよくやる。 例えば実数は体、順序構造、連続性をもつものとして定義する http://mevius.5ch.net/test/read.cgi/tech/1710585705/301
303: デフォルトの名無しさん [sage] 2024/04/15(月) 10:50:20.08 ID:scEUff9F >>302 存在とは? http://mevius.5ch.net/test/read.cgi/tech/1710585705/303
304: デフォルトの名無しさん [sage] 2024/04/15(月) 11:21:19.32 ID:scEUff9F 数学系のためのLean勉強会 https://haruhisa-enomoto.github.io/lean-math-workshop/ http://mevius.5ch.net/test/read.cgi/tech/1710585705/304
306: デフォルトの名無しさん [sage] 2024/04/15(月) 12:44:15.61 ID:scEUff9F >>305 だから存在をどうやって示すんだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/306
310: デフォルトの名無しさん [sage] 2024/04/15(月) 16:24:37.72 ID:scEUff9F >>308,309 お前が言うなwww http://mevius.5ch.net/test/read.cgi/tech/1710585705/310
311: デフォルトの名無しさん [sage] 2024/04/15(月) 16:25:33.86 ID:scEUff9F 上に書いておいただろ、ど素人目が http://mevius.5ch.net/test/read.cgi/tech/1710585705/311
313: デフォルトの名無しさん [sage] 2024/04/15(月) 17:32:13.23 ID:scEUff9F 自己紹介乙 http://mevius.5ch.net/test/read.cgi/tech/1710585705/313
314: デフォルトの名無しさん [sage] 2024/04/15(月) 17:36:31.60 ID:scEUff9F 上から目線で語ったと思ったら実は下だった件w http://mevius.5ch.net/test/read.cgi/tech/1710585705/314
316: デフォルトの名無しさん [sage] 2024/04/15(月) 17:40:34.97 ID:scEUff9F >>315 証明してくれ http://mevius.5ch.net/test/read.cgi/tech/1710585705/316
317: デフォルトの名無しさん [sage] 2024/04/15(月) 18:18:17.39 ID:scEUff9F >>315 証明できないのならどの本の何ページに証明が書いてあるのか教えてくれ http://mevius.5ch.net/test/read.cgi/tech/1710585705/317
329: デフォルトの名無しさん [sage] 2024/04/15(月) 20:44:59.91 ID:scEUff9F >>319 自己紹介乙 http://mevius.5ch.net/test/read.cgi/tech/1710585705/329
330: デフォルトの名無しさん [sage] 2024/04/15(月) 20:45:46.33 ID:scEUff9F >>327 意味不明 http://mevius.5ch.net/test/read.cgi/tech/1710585705/330
331: デフォルトの名無しさん [sage] 2024/04/15(月) 20:55:50.13 ID:scEUff9F >>325 ご苦労さん、実数の公理があるだけなんで証明するものではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/331
333: デフォルトの名無しさん [sage] 2024/04/15(月) 21:32:26.82 ID:scEUff9F 自己紹介乙 http://mevius.5ch.net/test/read.cgi/tech/1710585705/333
335: デフォルトの名無しさん [sage] 2024/04/15(月) 21:53:20.15 ID:scEUff9F 自己紹介乙 http://mevius.5ch.net/test/read.cgi/tech/1710585705/335
336: デフォルトの名無しさん [sage] 2024/04/15(月) 21:55:11.91 ID:scEUff9F 頭ついてるのかw http://mevius.5ch.net/test/read.cgi/tech/1710585705/336
337: デフォルトの名無しさん [sage] 2024/04/15(月) 21:57:07.42 ID:scEUff9F 馬鹿といわれなきゃ分からない馬鹿 http://mevius.5ch.net/test/read.cgi/tech/1710585705/337
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.039s