[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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への回答をお願いします。
その不完全性定理とか流し読みだからうろ覚えだけど、
ある数学モデルの無矛盾性をその数学モデルは証明できないとか？だっけ？
数学そのものの不完全さを証明したもので、「「数学」をプログラミングする」の
証明ではない気がするんだけど…。
物理的な不可能の証明として無限や連続性を上げるのは妥当だと思うのだが、
あなたは違うと言う。
なら、あなたは私の代わりに証明する義務があるのでは？
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
アイデアあるなら自分で作って提案したら？
220: 2024/04/05(金)09:35 ID:WYYyLvqP(1) AAS
なんでオブジェクト指向が出てくんだｗ
221: 2024/04/07(日)13:41 ID:7AYZfZ1d(1) AAS
C++の具体的な問題を目で盗めばRustを作れるが
オブジェクト指向のアイデアを広く浅くコピーしても負け癖が複製されるだけだ
222: 2024/04/07(日)18:07 ID:FOjhJ4gr(1) AAS
勝ち負けという発想になるのがお前の限界
223: 2024/04/07(日)22:31 ID:H3XbDQRE(1) AAS
たしかに、お金でも賭ければその限界が具現化するけど
考えるだけの場合はむしろ限界がないことが忌々しいんじゃないか
224: 2024/04/08(月)10:39 ID:x8JElEGO(1) AAS
ポエム
225: 2024/04/08(月)13:34 ID:26k+W4+v(1) AAS
イマジンだけに
226: 2024/04/11(木)12:56 ID:m6RJM+fq(1) AAS
All the People
227: 2024/04/11(木)12:59 ID:M3s07OXs(1) AAS
暇人
228: 2024/04/11(木)19:06 ID:SHJQNyIp(1) AAS
不完全性定理は公理的集合論から証明できないならPythonとかJavaには欠陥があるってことじゃん
てことは今後はnginxとPostgreSQLが無きゃ食っていけなくなる？SQLは三値だから完全だろ？
229: 2024/04/12(金)06:59 ID:gi41fiD0(1/5) AAS
30点
もっとサイコ感ださないと
230(5): 2024/04/12(金)11:00 ID:n/WEiCkF(1/5) AAS
厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん
上下前次1-新書関写板覧索設栞歴
あと 772 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.016s