「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

153: 2024/03/31(日)01:25 ID:GMj391lI(1/4) AAS
数列の概念がない奴でも無限級数の意味は分かるんだよね
ハードルが低いせいで基礎知識の共有が難しい

154(1): 2024/03/31(日)02:04 ID:XOErjovU(1) AAS
無限級数はトンデモ
物理に現れるのは二次級数まで

155: 2024/03/31(日)06:02 ID:954vZkOe(1/3) AAS
↑
数学が何がわかってないやつの典型
虚数もあるとかないとか騒いでるタイプ

156: 2024/03/31(日)11:13 ID:/9ZsX08L(1) AAS
ほほう
君は、数学が何かわかっているのかネ？

157: 2024/03/31(日)11:29 ID:GMj391lI(2/4) AAS
言語に依存しない数学的オブジェクトの存在が保証されれば
表現を（統一するために）訂正させる仕組みを正当化しやすくなる

158: 2024/03/31(日)11:41 ID:dM7Inut1(1/5) AAS
意味不明な事を口走るおっさん

159: 2024/03/31(日)12:44 ID:va6HO9e1(1) AAS
「プログラム技術」板で「数学」がどうのこうの語ってるのがもう頭悪いというか頭おかしい
プログラムも数学もできない、掲示板の使い分けもできない知的障害

160(1): 2024/03/31(日)15:25 ID:wx8Fg1tF(1) AAS
>>154
数学と物理はなんの関係もないぞ
数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから

161: 2024/03/31(日)16:25 ID:GMj391lI(3/4) AAS
絶対にルール追加しないのは
ルール追加のふりをしてバックドア設置されるリスクを回避してるんだろう

162(1): 2024/03/31(日)16:55 ID:dM7Inut1(2/5) AAS
馬鹿参上
>数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから

163: 2024/03/31(日)17:15 ID:wup1S0Wx(1) AAS
物理に三次以上の級数が出てくるソースはよ

164(1): 2024/03/31(日)17:23 ID:dM7Inut1(3/5) AAS
コンピュータは0と1だけで遊ぶゲームｗｗｗ

165: 2024/03/31(日)17:28 ID:954vZkOe(2/3) AAS
まじこのスレやべーなw
キチガイ率高い

166: 2024/03/31(日)17:38 ID:dM7Inut1(4/5) AAS
意味不明ｗｗｗ
>物理に現れるのは二次級数まで

167(1): 2024/03/31(日)18:06 ID:954vZkOe(3/3) AAS
ただし>>160 は支持するぞ
公理系を何にするかは議論があるだろうが推論パズルゲームってところは正しい

168(2): 2024/03/31(日)18:08 ID:kVwrIFTx(1) AAS
プログラム組めない雑魚ほどなにか深遠そうな理論めいたものを言おうとするよな
大したこと言えないんだから黙ってればいいのに

169: 2024/03/31(日)18:44 ID:ToTjh3N9(1) AAS
>>168
自分の学が無いのを他責にするなよ

170: 2024/03/31(日)20:45 ID:bt2k8y8v(1) AAS
学があったらポエム書かんやろｗ
アホ文系の血が騒ぐからポエムに活路見出すんよね？

171(1): 2024/03/31(日)20:48 ID:52brzQwH(1) AAS
>>168
ゲーデルの不完全性定理、わかる？

172: 2024/03/31(日)20:50 ID:ckXISkGH(1) AAS
バブルソートで長さnのリストがソート済みになることをnに関する数学的帰納法で示すコードを書いて下さい

173(1): 2024/03/31(日)21:07 ID:zVzgI3KY(1) AAS
構成論理でしかない帰納法は逃げ
背理法をプログラミングできてこそ真の数学プログラマ

174: 2024/03/31(日)22:17 ID:dM7Inut1(5/5) AAS
>>167
自己紹介乙
>キチガイ率高い

175: 2024/03/31(日)22:21 ID:HimKkZni(1) AAS
数学一般をプログラムするのはきつそうだけど、>>1の内容くらいならMathematicaとかでできるのでは

176: 2024/03/31(日)22:38 ID:GMj391lI(4/4) AAS
iterableがソート済みならばfilter(function,iterable)もソート済みである
これが活路か？

177(1): 2024/03/31(日)23:16 ID:slFHfGV9(1) AAS
>>171
プログラム技術と全く関係ないの、わかる？
単語だけ知ってても意味ないのよ

178: 2024/04/01(月)00:21 ID:3Pei3vn5(1) AAS
>>177
知らないのに、無理しちゃって・・・w

179: 2024/04/01(月)07:25 ID:pGaaOwbp(1) AAS
べき集合の濃度がもとの集合よりも真に大きいことを対角線論法で示すプログラムを書いて下さい

180(2): 2024/04/01(月)07:29 ID:ZaHsxqNm(1) AAS
ゲーデルの不完全性定理とかプログラミングに関係ないぞ

181: 2024/04/01(月)07:32 ID:aQQXUVqr(1) AAS
>>180
負け惜しみ乙

182(2): 2024/04/01(月)10:16 ID:BJXCW8/H(1/2) AAS
計算機科学的には背理法はプログラミングでの継続に相当するものだと判明している
プログラム=証明型=命題という対応がある
命題としてはあるが証明ができない型としてa -> b -> a -> aがある