[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
129: デフォルトの名無しさん [sage] 2024/03/26(火) 02:09:58.19 ID:bsMEvYma 意識は数学かｗｗｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/129
175: デフォルトの名無しさん [] 2024/03/31(日) 22:21:08.19 ID:HimKkZni 数学一般をプログラムするのはきつそうだけど、>>1の内容くらいならMathematicaとかでできるのでは http://mevius.5ch.net/test/read.cgi/tech/1710585705/175
177: デフォルトの名無しさん [sage] 2024/03/31(日) 23:16:01.19 ID:slFHfGV9 >>171 プログラム技術と全く関係ないの、わかる？ 単語だけ知ってても意味ないのよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/177
209: デフォルトの名無しさん [] 2024/04/03(水) 07:24:46.19 ID:CW5lmJ5l >>208 だから、>1への回答をお願いします。 その不完全性定理とか流し読みだからうろ覚えだけど、 ある数学モデルの無矛盾性をその数学モデルは証明できないとか？だっけ？ 数学そのものの不完全さを証明したもので、「「数学」をプログラミングする」の 証明ではない気がするんだけど…。 物理的な不可能の証明として無限や連続性を上げるのは妥当だと思うのだが、 あなたは違うと言う。 なら、あなたは私の代わりに証明する義務があるのでは？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/209
236: デフォルトの名無しさん [] 2024/04/12(金) 11:56:22.19 ID:Hn7My37C >>230 で、こいつ次は、 「厳密にもとまらないというのは、10進数で有限桁で表せないという意味で言った」 とか言い訳するんだろうなあｗｗｗｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/236
391: デフォルトの名無しさん [] 2024/04/17(水) 07:24:42.19 ID:Rqxu+zgK ∀x, P(x) ≥ 0なので、最高次の係数はかならず正 a(x + A)^2n + bx^2(n-1) + ... の形にできる b ≥ 0ならOK b < 0ならどうする？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/391
471: デフォルトの名無しさん [] 2024/04/26(金) 18:51:28.19 ID:hVnzlfRF append (v: Vec t n) (w: Vec t m) : (Vec t (n + m)) := [] w => w x:xs w => x:(append xs w) http://mevius.5ch.net/test/read.cgi/tech/1710585705/471
596: デフォルトの名無しさん [sage] 2024/11/12(火) 04:10:14.19 ID:15KCzjek x^2 = 2をみたす正の実数xは一意的に存在する なら、それを√2というシンボルで扱えるようにすべきだ 計算は必要なときにだけすればいい x = 1.4142云々という数値にしなければ扱えないのは不要な制約 これは誤差があるとかそういう問題ではない 人間の思考をコンピュータの都合に合わせようとしているのが問題 http://mevius.5ch.net/test/read.cgi/tech/1710585705/596
729: デフォルトの名無しさん [sage] 2024/12/05(木) 15:12:42.19 ID:xTrv11hP >>727 な？不思議だよなw 学べば別に魔法じゃないことがわかる http://mevius.5ch.net/test/read.cgi/tech/1710585705/729
765: デフォルトの名無しさん [sage] 2024/12/12(木) 19:13:14.19 ID:rgUDNRxT ポエム爺 http://mevius.5ch.net/test/read.cgi/tech/1710585705/765
813: デフォルトの名無しさん [sage] 2025/01/13(月) 10:20:57.19 ID:Ymx2LteG オブジェクト志向の次はデザインパターンだろ http://mevius.5ch.net/test/read.cgi/tech/1710585705/813
823: デフォルトの名無しさん [sage] 2025/01/14(火) 12:10:31.19 ID:ygjj3afU 型なんて特別なものじゃない 0や1はInt型のオブジェクト、IntはType型のオブジェクト http://mevius.5ch.net/test/read.cgi/tech/1710585705/823
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.047s