[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
139: 2024/03/27(水)22:02 ID:Fy0R0co2(1) AAS
頭の悪さがポエム書かせるんやろなこれ
140(1): 2024/03/28(木)06:44 ID:RNwVIlzh(1) AAS
>>137
？
ガイジか？
141(2): 2024/03/28(木)08:12 ID:WD+w6k7S(1) AAS
意識は非可換だってどこかで聞いたな
現代数学は可換理論しか扱えないが、量子力学は非可換だから、意識＝量子力学ってことになる
意識が非決定論なのは量子力学では状態が重ね合わせであることに起因する
したがって意識の問題を解決するには量子コンピュータが必須となる
142: 2024/03/28(木)10:32 ID:vnZC0FK8(1/3) AAS
>>140
キチガイ
143: 2024/03/28(木)10:42 ID:7o0NRrCR(1) AAS
借金取りは見かけ上は極めて非決定的にふるまうが
それでも純粋に合理的な行動しかしない存在とされているので意識の問題がない
144: 2024/03/28(木)11:41 ID:/R48rPWi(1) AAS
>>141
月刊ムーおすすめ
145: 2024/03/28(木)11:51 ID:vnZC0FK8(2/3) AAS
>>141
意識はサイコロを振らない
146(1): 2024/03/28(木)19:38 ID:IFE49MQl(1) AAS
>>126
小学校からやり直せ
147: 2024/03/28(木)20:47 ID:vnZC0FK8(3/3) AAS
>>146
アスペ
148: 2024/03/28(木)20:52 ID:8WuDpFG2(1) AAS
ポエマーさんはポエム板にでも行けよ
統失なら病院のほうがいいかな
149(2): 2024/03/29(金)07:29 ID:Gq7mALgF(1) AAS
ゲーデルの不完全性定理で完全に否定されているだろ
プログラムは不完全性では動かせない
150: 2024/03/29(金)07:35 ID:wkwvmDXj(1) AAS
>>149
月刊ムーおすすめ
151: 2024/03/29(金)10:11 ID:vNZyJemM(1) AAS
不完全ではなく無定義語で挫折する人がいる
無定義語の定義を特定できないと命題を肯定も否定もできない説
日常生活で出てくる
152: 2024/03/29(金)14:56 ID:hQjfrr6D(1) AAS
>>149
ガイジか？
ゲーデルの不完全性定理はそんなことについて言及してないぞ
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がある
183: 2024/04/01(月)10:25 ID:1jCL8ojm(1) AAS
計算機に記号処理での証明は荷が重いやん
これに出来る事は無限に数値計算をする機能だけなんだ
184: 182 2024/04/01(月)11:10 ID:BJXCW8/H(2/2) AAS
訂正((A->B)->A)->A)だった
記号処理はmaxima/mathematicaみたいなのでできるね
185: 2024/04/01(月)12:56 ID:jUMqCzD5(1) AAS
パプリカの妄言みてーなスレ
186: 2024/04/01(月)15:57 ID:w0sTGWlC(1) AAS
ポストモダンも用語の雰囲気だけで数学や物理の用語を援用して失敗したけど，同じことを繰り返したいのかな
187: 2024/04/01(月)16:13 ID:/OmQcxnO(1) AAS
うん。必ずしも泥棒が悪いとはお地蔵様も言わなかった。
パプリカのビキニより、ＤＣミニの回収に漕ぎ出すことが幸せの秩序です。
五人官女だってです！
カエルたちの笛や太鼓に合わせて回収中の不燃ゴミが吹き出してくる様は圧巻で、
まるでコンピューター・グラフィックスなんだ、これが！
総天然色の青春グラフィティや一億総プチブルを私が許さないことくらいオセアニアじゃあ常識なんだよ！
188: 2024/04/01(月)16:14 ID:t6QGzSyx(1) AAS
>>182
そう、λμな
でも対応があるだけで実用性はないよな
189(1): 2024/04/01(月)17:57 ID:jgXiprJQ(1) AAS
ム板にバカが書き込むのは今に始まったことじゃないが、意味不明な戯言書き込みに来る奴がすごく多くなった
自分の中ではなんかすごいこと書いてるつもりなのか？すごいバカかキチガイなのはだれが見てもわかるが
そんなことばかりやってるからネットですら過疎って文句言われにくいここに逃げ込むしかないんだろうな
190: 2024/04/01(月)19:56 ID:SUfRD0Nz(1) AAS
>>189
不満なら見なきゃいいだろ
インターネットしか居場所ないのか？w
191(1): 2024/04/01(月)20:16 ID:ige+71d6(1) AAS
スウ学をプログラミングするのは、簡単そうぢゃーーーん
だって、乱数発生させて、厨二病が喜びそうな単語を
羅列すれば、完成だもんね。多分。ていうかさ、
全ての証明問題は、
【ゲーデルの不完全性定理により証明不可能 Q.E.D】
ってプログラミングするだけしさ、これだな。
192(1): 2024/04/01(月)20:17 ID:NcxG0eWL(1/2) AAS
嫌なら見るな，は反論になってないな
戯言を書き込む行動を少しは正当化してみろよ
193: 2024/04/01(月)20:17 ID:NcxG0eWL(2/2) AAS
>>191
不完全性定理をわかってないなら無理にそんな意味不明なこと書かなくていいよ
194: 2024/04/02(火)00:27 ID:CRIzWwoI(1/2) AAS
>>192
正当化は2種類
行動に個性があればもし失敗しても同じ失敗が集団的に繰り返される心配がないのと
もう一つは、目には目を歯には歯をみたいな相手と同じことを繰り返せばOKと思ってるやつ
195: 2024/04/02(火)00:37 ID:7CSC2sWO(1/2) AAS
>>162 >>164
その場合はコンピュータじゃなくて理論計算機科学とかだな、比較対象がおかしい。
数学史とか数学基礎論とか少しでもなんか読んでみ、今の数学はそういう思想だから
その調子じゃヒルベルトプログラムもブルバキも何にも知らないだろ
>>180
いやあるだろ…停止性問題とか知らないの…？
こんなん数学科でもなくてもCS学科でもなくても
省1
196: 2024/04/02(火)00:59 ID:7CSC2sWO(2/2) AAS
>>173
背理法って推論規則の一つでしかないから他の推論規則を使って導けるものじゃないんじゃないの
証明をプログラミングでやるって、命題論理の変換で真か偽になる変換方法の組み合わせを見つけるってことでしょ
人間がなかなか納得しがたいロジックでもプログラミングしたらはっきりする、わけじゃなくて、
なかなか納得しがたいロジックでも間違いがなければ論理に間違いはないので証明されたとする、という根本は変わらなくて
論理の変換をプログラムで行なえても不思議ではないと思うけどな
記号論理学を大学1年のときにとったけどそれぐらいの基礎すらなかったら証明、公理系、推論規則、あたりの概念がめちゃくちゃになってるんじゃないか？
197: 2024/04/02(火)05:15 ID:25XPCuEJ(1) AAS
ああやっぱりこいつ不完全性定理を勘違いしてるな
198: 2024/04/02(火)10:33 ID:2+WkGIyb(1/2) AAS
完全性、健全性の意味をしらんのだな
完全って言葉から中二妄想膨らましてしったかかましてる
199: 2024/04/02(火)10:57 ID:CRIzWwoI(2/2) AAS
身体性という言葉の悪いところは
自分だけでなく他者の心身まで知ったかぶるところだ
200: 2024/04/02(火)11:17 ID:2+WkGIyb(2/2) AAS
話についてけないジジイはすっこんでろ
201: 2024/04/02(火)19:28 ID:UQ61ZLph(1) AAS
数式ゴリゴリのデジタルフィルターなんか、プログラムで書くと、あぁそういう事かと理解が速いよね。
乱反射を解析し反射元の形状を投影するとか、マクスウェルFDTDで、MEMSデバイスのパターンを作るプログラムなどは、プログラムで理解する有用性を証明している。
始めに数学工学が必要なのは言うまでもない。
202(1): 2024/04/02(火)20:00 ID:E9gZLeha(1/2) AAS
罵り愛が一段落下っぽいね。
まあ、何にせよ「数学」をそのままプログラミング出来てたら離散数学は今ほど重宝されてないと思う。
プログラミング言語の浮動小数点数も結局は離散数学だから、実数を浮動小数点数に、そして、CGとかだとさらに浮動小数点数を画面上のドット…つまり自然数(に0を加えたもの)の組(x,y)に変換しなきゃいけない。
203: 2024/04/02(火)20:02 ID:GZPLkX8A(1) AAS
>>202
アホ
204: 2024/04/02(火)20:18 ID:rNuJc/A1(1) AAS
「数学をプログラミングする」というのを「量子化しない」という意味だと思ってるのが、学がなさすぎる
205: 2024/04/02(火)20:50 ID:ywq+AssX(1) AAS
とりあえずHelloWorldから一歩でも先に進んでからこの板に書き込めよ
無能かつ的外れの「知ってるもん！」アピールなんか痛いだけって自覚もできないんだろうか
206: 2024/04/02(火)20:51 ID:E9gZLeha(2/2) AAS
そうなん？
「数学をプログラミングする」ってのがそういう意味じゃないなら、代数学的なのはHaskellの代数的データ型使えば割とできるし、証明とかは定理証明器って専用のプログラミング言語（Coqとか）があるよね？
統計学はRとか。
>1の文章読む限りは極限を求められる的な事と思ったけど？
まあ、私に学がないのは事実なんで、↑2名は説明お願い致しますm(_ _)m
207: 2024/04/02(火)20:54 ID:U2//VB/q(1) AAS
printf("数学をプログラミングする\n");
208(1): 2024/04/03(水)00:13 ID:pETdSMu9(1) AAS
数学一般を広く浅くプログラミングできない
離散数学のバイアスがかかっている
不完全性と同様に、バイアスと言われても痛いと自覚しないやつほど順調に先に進める
209: 2024/04/03(水)07:24 ID:CW5lmJ5l(1) AAS
>>208
だから、>1への回答をお願いします。
その不完全性定理とか流し読みだからうろ覚えだけど、
ある数学モデルの無矛盾性をその数学モデルは証明できないとか？だっけ？
数学そのものの不完全さを証明したもので、「「数学」をプログラミングする」の
証明ではない気がするんだけど…。
物理的な不可能の証明として無限や連続性を上げるのは妥当だと思うのだが、
省2
210: 2024/04/03(水)22:03 ID:7VXOaRQB(1) AAS
プログラムってバカでもできるけど、間違いを指摘されて認めることもできないキチガイは入り口にも入ってこれてないよ
5chに書き込む前に早めに病院行ってお薬もらってきた方がいい
211: 2024/04/04(木)00:40 ID:+8mB/dsD(1) AAS
数式を計算するプログラムって逆ハンガリアン記法でスタックに積んで取り出すの？
212: 2024/04/04(木)04:00 ID:GlxXdEjq(1) AAS
再帰でいいんじゃね
213: 2024/04/04(木)06:21 ID:FZ/wPqxv(1) AAS
数学をプログラミングと聞いて電卓が頭に浮かぶのか
このあたりがCSを勉強したかどうかの違いだよな
214: 2024/04/04(木)06:26 ID:yQLFX9FG(1) AAS
俺はポーランド記法でCSIだぜ
215: 2024/04/04(木)10:40 ID:CFqg+3jH(1) AAS
このスレはポスト オブジェクト指向はオワコンのスレって感じがする
216: 2024/04/04(木)21:47 ID:UeC30a5N(1) AAS
マトラボが解決してるんでないの？
217: 2024/04/04(木)23:16 ID:SgK99lwB(1) AAS
遅延評価のためのイテレータもあり得る
218: 2024/04/05(金)05:31 ID:hIqab58S(1) AAS
オブジェクト指向はもっと柔軟性を高めて欲しいわ。
クラスとかメソッドの集合として外延性を持つようにしてほしい。
219: 2024/04/05(金)08:52 ID:O8Iqatix(1) AAS
アイデアあるなら自分で作って提案したら？
上下前次1-新書関写板覧索設栞歴
あと 783 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s