[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
165: デフォルトの名無しさん [sage] 2024/03/31(日) 17:28:42.81 ID:954vZkOe まじこのスレやべーなw キチガイ率高い http://mevius.5ch.net/test/read.cgi/tech/1710585705/165
206: デフォルトの名無しさん [] 2024/04/02(火) 20:51:46.81 ID:E9gZLeha そうなん？ 「数学をプログラミングする」ってのがそういう意味じゃないなら、代数学的なのはHaskellの代数的データ型使えば割とできるし、証明とかは定理証明器って専用のプログラミング言語（Coqとか）があるよね？ 統計学はRとか。 >1の文章読む限りは極限を求められる的な事と思ったけど？ まあ、私に学がないのは事実なんで、↑2名は説明お願い致しますm(_ _)m http://mevius.5ch.net/test/read.cgi/tech/1710585705/206
297: デフォルトの名無しさん [sage] 2024/04/15(月) 08:24:20.81 ID:SAfAFkQa >>296 おっと ×有理体 ○有理数体 http://mevius.5ch.net/test/read.cgi/tech/1710585705/297
301: デフォルトの名無しさん [sage] 2024/04/15(月) 09:36:29.81 ID:scEUff9F >>299 実数の構成に5つぐらいある、切断とか。それに同値なものを同じものとみなすこともよくやる。 例えば実数は体、順序構造、連続性をもつものとして定義する http://mevius.5ch.net/test/read.cgi/tech/1710585705/301
457: デフォルトの名無しさん [] 2024/04/26(金) 07:05:57.81 ID:MwB9a3Td >>454 圏論や型理論を記述言語にする 結局、数学を記述できる言語が必要 http://mevius.5ch.net/test/read.cgi/tech/1710585705/457
630: デフォルトの名無しさん [] 2024/11/15(金) 11:17:31.81 ID:QdZaIMPx 電子レベルでは不確定性原理が成り立つから、演繹法は成り立たない http://mevius.5ch.net/test/read.cgi/tech/1710585705/630
712: デフォルトの名無しさん [sage] 2024/11/19(火) 17:29:21.81 ID:+UtMc6V6 プログラムするw お前らあほだろ http://mevius.5ch.net/test/read.cgi/tech/1710585705/712
828: デフォルトの名無しさん [sage] 2025/01/14(火) 14:18:33.81 ID:x8Aql6YT 有理数型や小数型も作れるのか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/828
877: デフォルトの名無しさん [sage] 2025/01/18(土) 15:34:34.81 ID:28NAL8Fg >>876 プログラミングと数学を分けてる時点で、Qiitaのブログのサンプルコピペしてる雑魚と同レベル http://mevius.5ch.net/test/read.cgi/tech/1710585705/877
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.044s