「数学」をプログラミングするには
- 160 ：デフォルトの名無しさん：2024/03/31(日) 15:25:06.37 ID:wx8Fg1tF.net
- >>154
数学と物理はなんの関係もないぞ
数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから
- 161 ：デフォルトの名無しさん：2024/03/31(日) 16:25:54.15 ID:GMj391lI.net
- 絶対にルール追加しないのは
ルール追加のふりをしてバックドア設置されるリスクを回避してるんだろう
- 162 ：デフォルトの名無しさん：2024/03/31(日) 16:55:10.67 ID:dM7Inut1.net
- 馬鹿参上
>数学ってZF(C)公理系を絶対ルールとするパズルゲームでしかないから
- 163 ：デフォルトの名無しさん：2024/03/31(日) 17:15:24.42 ID:wup1S0Wx.net
- 物理に三次以上の級数が出てくるソースはよ
- 164 ：デフォルトの名無しさん：2024/03/31(日) 17:23:31.92 ID:dM7Inut1.net
- コンピュータは0と1だけで遊ぶゲームｗｗｗ
- 165 ：デフォルトの名無しさん：2024/03/31(日) 17:28:42.81 ID:954vZkOe.net
- まじこのスレやべーなw
キチガイ率高い
- 166 ：デフォルトの名無しさん：2024/03/31(日) 17:38:37.31 ID:dM7Inut1.net
- 意味不明ｗｗｗ
>物理に現れるのは二次級数まで
- 167 ：デフォルトの名無しさん：2024/03/31(日) 18:06:40.04 ID:954vZkOe.net
- ただし>>160 は支持するぞ
公理系を何にするかは議論があるだろうが推論パズルゲームってところは正しい
- 168 ：デフォルトの名無しさん：2024/03/31(日) 18:08:00.44 ID:kVwrIFTx.net
- プログラム組めない雑魚ほどなにか深遠そうな理論めいたものを言おうとするよな
大したこと言えないんだから黙ってればいいのに
- 169 ：デフォルトの名無しさん：2024/03/31(日) 18:44:49.29 ID:ToTjh3N9.net
- >>168
自分の学が無いのを他責にするなよ
- 170 ：デフォルトの名無しさん：2024/03/31(日) 20:45:23.72 ID:bt2k8y8v.net
- 学があったらポエム書かんやろｗ
アホ文系の血が騒ぐからポエムに活路見出すんよね？
- 171 ：デフォルトの名無しさん：2024/03/31(日) 20:48:04.91 ID:52brzQwH.net
- >>168
ゲーデルの不完全性定理、わかる？
- 172 ：デフォルトの名無しさん：2024/03/31(日) 20:50:54.92 ID:ckXISkGH.net
- バブルソートで長さnのリストがソート済みになることをnに関する数学的帰納法で示すコードを書いて下さい
- 173 ：デフォルトの名無しさん：2024/03/31(日) 21:07:09.32 ID:zVzgI3KY.net
- 構成論理でしかない帰納法は逃げ
背理法をプログラミングできてこそ真の数学プログラマ
- 174 ：デフォルトの名無しさん：2024/03/31(日) 22:17:11.33 ID:dM7Inut1.net
- >>167
自己紹介乙
>キチガイ率高い
- 175 ：デフォルトの名無しさん：2024/03/31(日) 22:21:08.19 ID:HimKkZni.net
- 数学一般をプログラムするのはきつそうだけど、>>1の内容くらいならMathematicaとかでできるのでは
- 176 ：デフォルトの名無しさん：2024/03/31(日) 22:38:47.01 ID:GMj391lI.net
- iterableがソート済みならばfilter(function,iterable)もソート済みである
これが活路か？
- 177 ：デフォルトの名無しさん：2024/03/31(日) 23:16:01.19 ID:slFHfGV9.net
- >>171
プログラム技術と全く関係ないの、わかる？
単語だけ知ってても意味ないのよ
- 178 ：デフォルトの名無しさん：2024/04/01(月) 00:21:59.83 ID:3Pei3vn5.net
- >>177
知らないのに、無理しちゃって・・・w
- 179 ：デフォルトの名無しさん：2024/04/01(月) 07:25:14.04 ID:pGaaOwbp.net
- べき集合の濃度がもとの集合よりも真に大きいことを対角線論法で示すプログラムを書いて下さい
- 180 ：デフォルトの名無しさん：2024/04/01(月) 07:29:40.50 ID:ZaHsxqNm.net
- ゲーデルの不完全性定理とかプログラミングに関係ないぞ
- 181 ：デフォルトの名無しさん：2024/04/01(月) 07:32:48.45 ID:aQQXUVqr.net
- >>180
負け惜しみ乙
- 182 ：デフォルトの名無しさん：2024/04/01(月) 10:16:20.76 ID:BJXCW8/H.net
- 計算機科学的には背理法はプログラミングでの継続に相当するものだと判明している
プログラム=証明 型=命題という対応がある
命題としてはあるが証明ができない型としてa -> b -> a -> aがある
- 183 ：デフォルトの名無しさん：2024/04/01(月) 10:25:34.89 ID:1jCL8ojm.net
- 計算機に記号処理での証明は荷が重いやん
これに出来る事は無限に数値計算をする機能だけなんだ
- 184 ：182：2024/04/01(月) 11:10:53.13 ID:BJXCW8/H.net
- 訂正((A->B)->A)->A)だった
記号処理はmaxima/mathematicaみたいなのでできるね
- 185 ：デフォルトの名無しさん：2024/04/01(月) 12:56:05.30 ID:jUMqCzD5.net
- パプリカの妄言みてーなスレ
- 186 ：デフォルトの名無しさん：2024/04/01(月) 15:57:43.42 ID:w0sTGWlC.net
- ポストモダンも用語の雰囲気だけで数学や物理の用語を援用して失敗したけど，同じことを繰り返したいのかな
- 187 ：デフォルトの名無しさん：2024/04/01(月) 16:13:24.51 ID:/OmQcxnO.net
- うん。必ずしも泥棒が悪いとはお地蔵様も言わなかった。
パプリカのビキニより、ＤＣミニの回収に漕ぎ出すことが幸せの秩序です。
五人官女だってです！
カエルたちの笛や太鼓に合わせて回収中の不燃ゴミが吹き出してくる様は圧巻で、
まるでコンピューター・グラフィックスなんだ、これが！
総天然色の青春グラフィティや一億総プチブルを私が許さないことくらいオセアニアじゃあ常識なんだよ！
- 188 ：デフォルトの名無しさん：2024/04/01(月) 16:14:19.64 ID:t6QGzSyx.net
- >>182
そう、λμな
でも対応があるだけで実用性はないよな
- 189 ：デフォルトの名無しさん：2024/04/01(月) 17:57:08.59 ID:jgXiprJQ.net
- ム板にバカが書き込むのは今に始まったことじゃないが、意味不明な戯言書き込みに来る奴がすごく多くなった
自分の中ではなんかすごいこと書いてるつもりなのか？すごいバカかキチガイなのはだれが見てもわかるが
そんなことばかりやってるからネットですら過疎って文句言われにくいここに逃げ込むしかないんだろうな
- 190 ：デフォルトの名無しさん：2024/04/01(月) 19:56:44.57 ID:SUfRD0Nz.net
- >>189
不満なら見なきゃいいだろ
インターネットしか居場所ないのか？w
- 191 ：デフォルトの名無しさん：2024/04/01(月) 20:16:04.58 ID:ige+71d6.net
- スウ学をプログラミングするのは、簡単そうぢゃーーーん
だって、乱数発生させて、厨二病が喜びそうな単語を
羅列すれば、完成だもんね。多分。ていうかさ、
全ての証明問題は、
【ゲーデルの不完全性定理により証明不可能 Q.E.D】
ってプログラミングするだけしさ、これだな。
- 192 ：デフォルトの名無しさん：2024/04/01(月) 20:17:05.72 ID:NcxG0eWL.net
- 嫌なら見るな，は反論になってないな
戯言を書き込む行動を少しは正当化してみろよ
- 193 ：デフォルトの名無しさん：2024/04/01(月) 20:17:51.73 ID:NcxG0eWL.net
- >>191
不完全性定理をわかってないなら無理にそんな意味不明なこと書かなくていいよ
- 194 ：デフォルトの名無しさん：2024/04/02(火) 00:27:08.11 ID:CRIzWwoI.net
- >>192
正当化は2種類
行動に個性があればもし失敗しても同じ失敗が集団的に繰り返される心配がないのと
もう一つは、目には目を歯には歯をみたいな相手と同じことを繰り返せばOKと思ってるやつ
- 195 ：デフォルトの名無しさん：2024/04/02(火) 00:37:53.67 ID:7CSC2sWO.net
- >>162 >>164
その場合はコンピュータじゃなくて理論計算機科学とかだな、比較対象がおかしい。
数学史とか数学基礎論とか少しでもなんか読んでみ、今の数学はそういう思想だから
その調子じゃヒルベルトプログラムもブルバキも何にも知らないだろ
>>180
いやあるだろ…停止性問題とか知らないの…？
こんなん数学科でもなくてもCS学科でもなくても
趣味でWikipedia読んでれば知れる雑学だぞ
- 196 ：デフォルトの名無しさん：2024/04/02(火) 00:59:03.34 ID:7CSC2sWO.net
- >>173
背理法って推論規則の一つでしかないから他の推論規則を使って導けるものじゃないんじゃないの
証明をプログラミングでやるって、命題論理の変換で真か偽になる変換方法の組み合わせを見つけるってことでしょ
人間がなかなか納得しがたいロジックでもプログラミングしたらはっきりする、わけじゃなくて、
なかなか納得しがたいロジックでも間違いがなければ論理に間違いはないので証明されたとする、という根本は変わらなくて
論理の変換をプログラムで行なえても不思議ではないと思うけどな
記号論理学を大学1年のときにとったけどそれぐらいの基礎すらなかったら証明、公理系、推論規則、あたりの概念がめちゃくちゃになってるんじゃないか？
- 197 ：デフォルトの名無しさん：2024/04/02(火) 05:15:19.87 ID:25XPCuEJ.net
- ああやっぱりこいつ不完全性定理を勘違いしてるな
- 198 ：デフォルトの名無しさん：2024/04/02(火) 10:33:46.06 ID:2+WkGIyb.net
- 完全性、健全性の意味をしらんのだな
完全って言葉から中二妄想膨らましてしったかかましてる
- 199 ：デフォルトの名無しさん：2024/04/02(火) 10:57:42.42 ID:CRIzWwoI.net
- 身体性という言葉の悪いところは
自分だけでなく他者の心身まで知ったかぶるところだ
- 200 ：デフォルトの名無しさん：2024/04/02(火) 11:17:32.87 ID:2+WkGIyb.net
- 話についてけないジジイはすっこんでろ
- 201 ：デフォルトの名無しさん：2024/04/02(火) 19:28:42.90 ID:UQ61ZLph.net
- 数式ゴリゴリのデジタルフィルターなんか、プログラムで書くと、あぁそういう事かと理解が速いよね。
乱反射を解析し反射元の形状を投影するとか、マクスウェルFDTDで、MEMSデバイスのパターンを作るプログラムなどは、プログラムで理解する有用性を証明している。
始めに数学工学が必要なのは言うまでもない。
- 202 ：デフォルトの名無しさん：2024/04/02(火) 20:00:28.70 ID:E9gZLeha.net
- 罵り愛が一段落下っぽいね。
まあ、何にせよ「数学」をそのままプログラミング出来てたら離散数学は今ほど重宝されてないと思う。
プログラミング言語の浮動小数点数も結局は離散数学だから、実数を浮動小数点数に、そして、CGとかだとさらに浮動小数点数を画面上のドット…つまり自然数(に0を加えたもの)の組(x,y)に変換しなきゃいけない。
- 203 ：デフォルトの名無しさん：2024/04/02(火) 20:02:04.03 ID:GZPLkX8A.net
- >>202
アホ
- 204 ：デフォルトの名無しさん：2024/04/02(火) 20:18:47.82 ID:rNuJc/A1.net
- 「数学をプログラミングする」というのを「量子化しない」という意味だと思ってるのが、学がなさすぎる
- 205 ：デフォルトの名無しさん：2024/04/02(火) 20:50:17.25 ID:ywq+AssX.net
- とりあえずHelloWorldから一歩でも先に進んでからこの板に書き込めよ
無能かつ的外れの「知ってるもん！」アピールなんか痛いだけって自覚もできないんだろうか
- 206 ：デフォルトの名無しさん：2024/04/02(火) 20:51:46.81 ID:E9gZLeha.net
- そうなん？
「数学をプログラミングする」ってのがそういう意味じゃないなら、代数学的なのはHaskellの代数的データ型使えば割とできるし、証明とかは定理証明器って専用のプログラミング言語（Coqとか）があるよね？
統計学はRとか。
>1の文章読む限りは極限を求められる的な事と思ったけど？
まあ、私に学がないのは事実なんで、↑2名は説明お願い致しますm(_ _)m
- 207 ：デフォルトの名無しさん：2024/04/02(火) 20:54:29.03 ID:U2//VB/q.net
- printf("数学をプログラミングする\n");
- 208 ：デフォルトの名無しさん：2024/04/03(水) 00:13:26.09 ID:pETdSMu9.net
- 数学一般を広く浅くプログラミングできない
離散数学のバイアスがかかっている
不完全性と同様に、バイアスと言われても痛いと自覚しないやつほど順調に先に進める
- 209 ：デフォルトの名無しさん：2024/04/03(水) 07:24:46.19 ID:CW5lmJ5l.net
- >>208
だから、>1への回答をお願いします。
その不完全性定理とか流し読みだからうろ覚えだけど、
ある数学モデルの無矛盾性をその数学モデルは証明できないとか？だっけ？
数学そのものの不完全さを証明したもので、「「数学」をプログラミングする」の
証明ではない気がするんだけど…。
物理的な不可能の証明として無限や連続性を上げるのは妥当だと思うのだが、
あなたは違うと言う。
なら、あなたは私の代わりに証明する義務があるのでは？
- 210 ：デフォルトの名無しさん：2024/04/03(水) 22:03:54.94 ID:7VXOaRQB.net
- プログラムってバカでもできるけど、間違いを指摘されて認めることもできないキチガイは入り口にも入ってこれてないよ
5chに書き込む前に早めに病院行ってお薬もらってきた方がいい
- 211 ：デフォルトの名無しさん：2024/04/04(木) 00:40:57.02 ID:+8mB/dsD.net
- 数式を計算するプログラムって逆ハンガリアン記法でスタックに積んで取り出すの？
- 212 ：デフォルトの名無しさん：2024/04/04(木) 04:00:44.17 ID:GlxXdEjq.net
- 再帰でいいんじゃね
- 213 ：デフォルトの名無しさん：2024/04/04(木) 06:21:32.41 ID:FZ/wPqxv.net
- 数学をプログラミングと聞いて電卓が頭に浮かぶのか
このあたりがCSを勉強したかどうかの違いだよな
- 214 ：デフォルトの名無しさん：2024/04/04(木) 06:26:04.00 ID:yQLFX9FG.net
- 俺はポーランド記法でCSIだぜ
- 215 ：デフォルトの名無しさん：2024/04/04(木) 10:40:16.69 ID:CFqg+3jH.net
- このスレはポスト オブジェクト指向はオワコンのスレって感じがする
- 216 ：デフォルトの名無しさん：2024/04/04(木) 21:47:23.88 ID:UeC30a5N.net
- マトラボが解決してるんでないの？
- 217 ：デフォルトの名無しさん：2024/04/04(木) 23:16:51.30 ID:SgK99lwB.net
- 遅延評価のためのイテレータもあり得る
- 218 ：デフォルトの名無しさん：2024/04/05(金) 05:31:51.22 ID:hIqab58S.net
- オブジェクト指向はもっと柔軟性を高めて欲しいわ。
クラスとかメソッドの集合として外延性を持つようにしてほしい。
- 219 ：デフォルトの名無しさん：2024/04/05(金) 08:52:40.53 ID:O8Iqatix.net
- アイデアあるなら自分で作って提案したら？
- 220 ：デフォルトの名無しさん：2024/04/05(金) 09:35:13.84 ID:WYYyLvqP.net
- なんでオブジェクト指向が出てくんだｗ
- 221 ：デフォルトの名無しさん：2024/04/07(日) 13:41:15.41 ID:7AYZfZ1d.net
- C++の具体的な問題を目で盗めばRustを作れるが
オブジェクト指向のアイデアを広く浅くコピーしても負け癖が複製されるだけだ
- 222 ：デフォルトの名無しさん：2024/04/07(日) 18:07:47.43 ID:FOjhJ4gr.net
- 勝ち負けという発想になるのがお前の限界
- 223 ：デフォルトの名無しさん：2024/04/07(日) 22:31:51.29 ID:H3XbDQRE.net
- たしかに、お金でも賭ければその限界が具現化するけど
考えるだけの場合はむしろ限界がないことが忌々しいんじゃないか
- 224 ：デフォルトの名無しさん：2024/04/08(月) 10:39:11.76 ID:x8JElEGO.net
- ポエム
- 225 ：デフォルトの名無しさん：2024/04/08(月) 13:34:46.46 ID:26k+W4+v.net
- イマジンだけに
- 226 ：デフォルトの名無しさん：2024/04/11(木) 12:56:39.43 ID:m6RJM+fq.net
- All the People
- 227 ：デフォルトの名無しさん：2024/04/11(木) 12:59:29.40 ID:M3s07OXs.net
- 暇人
- 228 ：デフォルトの名無しさん：2024/04/11(木) 19:06:27.60 ID:SHJQNyIp.net
- 不完全性定理は公理的集合論から証明できないならPythonとかJavaには欠陥があるってことじゃん
てことは今後はnginxとPostgreSQLが無きゃ食っていけなくなる？SQLは三値だから完全だろ？
- 229 ：デフォルトの名無しさん：2024/04/12(金) 06:59:53.66 ID:gi41fiD0.net
- 30点
もっとサイコ感ださないと
- 230 ：デフォルトの名無しさん：2024/04/12(金) 11:00:23.24 ID:n/WEiCkF.net
- 厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん
- 231 ：デフォルトの名無しさん：2024/04/12(金) 11:40:05.15 ID:bVCDZJf2.net
- >>230
「数学をプログラミングするには」って書いてあるじゃん
- 232 ：デフォルトの名無しさん：2024/04/12(金) 11:41:10.44 ID:Kw0ACNUt.net
- #define final constant π;
- 233 ：デフォルトの名無しさん：2024/04/12(金) 11:44:24.99 ID:Hn7My37C.net
- >>230
> 厳密に求められないから
πは厳密に求まるが
1/3 = 0.33... は割り切れないから求まらないとか思ってる文系くんかな？（笑）
- 234 ：デフォルトの名無しさん：2024/04/12(金) 11:50:12.54 ID:Hn7My37C.net
- > πという記号定数を使えばいいだけ
馬鹿かな
πって置いただけで、どうやってこれが無理数であることや、4arctan(1)と等しいことが確定するんだ？（笑）
- 235 ：デフォルトの名無しさん：2024/04/12(金) 11:52:19.14 ID:Hn7My37C.net
- >>230
君、国語力が低すぎて文章を理解できないから、
数学の教科書もなんとなくで読んで来たんでしょ？
学問に向いてないよ、君（笑）
- 236 ：デフォルトの名無しさん：2024/04/12(金) 11:56:22.19 ID:Hn7My37C.net
- >>230
で、こいつ次は、
「厳密にもとまらないというのは、10進数で有限桁で表せないという意味で言った」
とか言い訳するんだろうなあｗｗｗｗ
- 237 ：デフォルトの名無しさん：2024/04/12(金) 12:03:07.54 ID:Hn7My37C.net
- >>230
> 1がしたいことが何なのかよくわからん
問題意識を理解できないなら、わざわざいっちょかみすんな
わざわざいらんことして、おまけに無知まで晒してる
究極に恥ずかしいよお前（笑）
- 238 ：デフォルトの名無しさん：2024/04/12(金) 12:29:39.85 ID:Kw0ACNUt.net
- スレタイが読めないなら小学校の国語からやり直しｗｗｗ
- 239 ：デフォルトの名無しさん：2024/04/12(金) 12:33:44.36 ID:l6eD/H9+.net
- モピロン、地球人の開発したAIには、無理
霊的な霊感がないからだ。
Arctan(x) のマクローリン展開式の xに１を
代入して証明するような閃きは、
AIには無理なのである。
その訳は、閃き💡といった宇宙からの霊的な電波を
受信するのは、論理的考えて、
地球のAIには、ソレは、実装されてない。
モピロン、イカの視覚野に電極を、差し込んで
宇宙から霊的波動を受信できるようにすれば
話しは、別だが、シリコンウェーハに
その様な回路はナイだろうから、
それは、証明は、無理だろう。
ていうか、ゲーデルの不完全性定理により
証明問題の全ては証明不可能ぢゃーーー
BY 今日もテキトーな事を呟いてみたー
- 240 ：デフォルトの名無しさん：2024/04/12(金) 12:47:02.55 ID:gi41fiD0.net
- 26点
長い上に一本調子
デタラメに書いたらいいわけじゃない
- 241 ：デフォルトの名無しさん：2024/04/12(金) 15:24:27.17 ID:IPp6LTyR.net
- アセンブラは数学か？
- 242 ：デフォルトの名無しさん：2024/04/12(金) 15:32:45.75 ID:n/WEiCkF.net
- そういや誰かがすべての言語はチューリング完全とか適当なことかいてたけど
一昔前のcobolはチューリング完全じゃないぞ
チューリング完全は数学をプログラムするための必要条件ではないかな
アセンブラはその意味で資格はあると思われる
- 243 ：デフォルトの名無しさん：2024/04/12(金) 16:34:45.55 ID:vfJZ59zy.net
- fortranは数学？
- 244 ：デフォルトの名無しさん：2024/04/12(金) 16:40:24.86 ID:gi41fiD0.net
- チューリング完全は算法に関する性質
数学そのものではない
- 245 ：デフォルトの名無しさん：2024/04/12(金) 16:41:43.65 ID:gi41fiD0.net
- 数学は計算だけの学問ではない
- 246 ：デフォルトの名無しさん：2024/04/12(金) 17:04:34.02 ID:HdjWwBoE.net
- 計算 + 証明 = 数学
これは
データ構造 + アルゴリズム = プログラミング
に対応する
- 247 ：デフォルトの名無しさん：2024/04/12(金) 17:09:52.20 ID:Vyts8CQV.net
- 命題 + 証明 = 数学
↑↓
型 + アルゴリズム = プログラミング
- 248 ：デフォルトの名無しさん：2024/04/12(金) 17:20:27.68 ID:n/WEiCkF.net
- 命題 + 証明
↑↓
型 + プログラム
これはカリーハワード同型対応として知られている
このセットで数学といえるかは俺にはわからない
計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか？
- 249 ：デフォルトの名無しさん：2024/04/12(金) 17:25:59.28 ID:gi41fiD0.net
- カリー・ハワードだろ
構成論理が前提なのわかってるか？
- 250 ：デフォルトの名無しさん：2024/04/12(金) 17:35:07.74 ID:Kw0ACNUt.net
- ど素人かよｗｗｗ
命題 + 証明 = 数学
- 251 ：デフォルトの名無しさん：2024/04/12(金) 17:35:49.67 ID:Kw0ACNUt.net
- 糞論しかやってない素人の戯言
- 252 ：デフォルトの名無しさん：2024/04/12(金) 17:40:09.52 ID:n/WEiCkF.net
- 直観主義論理ってやつでしょ
- 253 ：デフォルトの名無しさん：2024/04/12(金) 17:44:03.87 ID:Kw0ACNUt.net
- 40年ぐらい遅れてるｗ
- 254 ：デフォルトの名無しさん：2024/04/12(金) 17:56:16.32 ID:n/WEiCkF.net
- 構成的論理ならきいたことはあるが構成論理ってなんだよ
- 255 ：デフォルトの名無しさん：2024/04/12(金) 18:32:46.75 ID:Kw0ACNUt.net
- 糞論しかやってない奴は数学の素人、悲惨
- 256 ：デフォルトの名無しさん：2024/04/12(金) 19:48:14.69 ID:BGlMGmgy.net
- ラッセルは数学者？
- 257 ：デフォルトの名無しさん：2024/04/12(金) 20:28:26.43 ID:7CYa1WNP.net
- 数学は構造の科学、とエロいひとが言ってた。
- 258 ：デフォルトの名無しさん：2024/04/12(金) 20:41:54.23 ID:HS/aYR/B.net
- レヴィ・ストロース？
- 259 ：デフォルトの名無しさん：2024/04/12(金) 22:22:16.23 ID:Kw0ACNUt.net
- 水道方式の遠山
- 260 ：デフォルトの名無しさん：2024/04/12(金) 23:55:46.84 ID:lpyrPPhz.net
- >>1
> たとえば、プログラミングで
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
>
> を近似ではなく厳密に確かめるにはどうしたらいいの
> 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。
そもそも人間の証明がlimとか使って（仮に無限回繰り返せれば）極限はnになる（だろう）って感じで有限のアルゴリズムじゃない訳で。
- 261 ：デフォルトの名無しさん：2024/04/13(土) 01:56:05.16 ID:GLx3WLPp.net
- >>260
とっくに解決した話題にいちいち間違った指摘をするのは面白いのか？
- 262 ：デフォルトの名無しさん：2024/04/13(土) 03:06:44.06 ID:wJrHPvy4.net
- 命題を実験すれば近似、証明すれば厳密
これを間違えて
命題（と証明）を明文化しなければ近似、明文化すれば厳密と思ってる人は結構いる
- 263 ：デフォルトの名無しさん：2024/04/13(土) 06:36:41.55 ID:AgvLaZLy.net
- >>261
テキトーに読み飛ばしてた＾＾；
どのあたりで解決してたかアンカー教えて。
- 264 ：デフォルトの名無しさん：2024/04/13(土) 06:41:57.99 ID:uJv52VsE.net
- πは、プログラミングは、近年の地球人は、
arctanのヤツを4倍してるよ。ポクはホントは地球人だけど
然るに、
閃き💡でarctanのマクローリン展開をネットサーフィンで
調べてさ、xに１を代入すりゃ、
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
になるってわかるし、収束するかなんて
霊的直感で、わかるぜ
なんてたって、1/2 + 1/3 + 1/4 + 1/5 + ・・・
ですら、絶対有限値log(∞)に収束しちゃうもん🤡
ま、この発想、AIには無理だと思うよん。
てか、最近の地球人って🐴🦌ばっかだな
πをarctanを4倍するなんて、
πは定数3.14159265でダイレクトにコーディングしなさーーい
これ、不味いのかな❓ 知ってるヒト教えて下さい神様
- 265 ：デフォルトの名無しさん：2024/04/13(土) 10:13:07.54 ID:4ahnOas7.net
- >>260
馬鹿文系
- 266 ：デフォルトの名無しさん：2024/04/13(土) 12:20:47.06 ID:wJrHPvy4.net
- 現在のAIは何故か胴元になれないギャンブラーと同じ
- 267 ：デフォルトの名無しさん：2024/04/14(日) 08:23:12.49 ID:ZXz6cRZI.net
- >>265
うんうん。
罵られるのは甘んじて受け入れるので、解決したところのアンカー(>数字)を教えてください。
- 268 ：デフォルトの名無しさん：2024/04/14(日) 08:43:54.27 ID:FeJRZdQr.net
- このスレで解決されたって意味ではないのでは?
>>260の指摘なんて常識的なことだし
- 269 ：デフォルトの名無しさん：2024/04/14(日) 09:46:51.43 ID:7cEDLG0F.net
- >>268
○ 常識的
× 数学ができない人によくある勘違い
- 270 ：デフォルトの名無しさん：2024/04/14(日) 09:53:29.94 ID:7cEDLG0F.net
- >>267
>>2
- 271 ：デフォルトの名無しさん：2024/04/14(日) 12:01:14.80 ID:QAXXGiIt.net
- >>260
多分これって数列がある値に収束することを示すには無限に計算する以外に方法がないって思い込んでるのでは
人間が有限回のステップで証明できてる時点で有限のアルゴリズムだよ
- 272 ：デフォルトの名無しさん：2024/04/14(日) 12:10:53.46 ID:ArvRyIgO.net
- 繰り返すこのアルゴリズム♪
- 273 ：デフォルトの名無しさん：2024/04/14(日) 12:14:31.37 ID:CaUwpcFN.net
- パフュームです♪
- 274 ：デフォルトの名無しさん：2024/04/14(日) 17:09:16.02 ID:43rPFQyJ.net
- >>260
まず「極限はnになる」の基礎となる理論から調べたら？
εδ論法は理解してる？
- 275 ：デフォルトの名無しさん：2024/04/14(日) 18:00:53.57 ID:CaUwpcFN.net
- 極限と帰納法は違うんじゃね
- 276 ：デフォルトの名無しさん：2024/04/14(日) 19:52:08.91 ID:fCKRFwTr.net
- 極限と帰納法は違うということを証明してください
- 277 ：デフォルトの名無しさん：2024/04/14(日) 20:14:25.72 ID:CaUwpcFN.net
- わかった
- 278 ：デフォルトの名無しさん：2024/04/14(日) 20:18:26.95 ID:CaUwpcFN.net
- 背理法を使う
- 279 ：デフォルトの名無しさん：2024/04/14(日) 20:19:29.14 ID:CaUwpcFN.net
- 極限と帰納法が同じであると仮定する
- 280 ：デフォルトの名無しさん：2024/04/14(日) 20:24:59.80 ID:CaUwpcFN.net
- 極限とは位相空間のある点の近傍にある番号から先の有向族が入ることである
- 281 ：デフォルトの名無しさん：2024/04/14(日) 20:25:51.73 ID:CaUwpcFN.net
- 位相空間とは開集合の族が定義された空間である
- 282 ：デフォルトの名無しさん：2024/04/14(日) 20:29:03.05 ID:CaUwpcFN.net
- 帰納法とは順序集合においてある命題がある番号まで成立としたとき次の番号の命題が成立することである
- 283 ：デフォルトの名無しさん：2024/04/14(日) 20:29:14.79 ID:CaUwpcFN.net
- ふー
- 284 ：デフォルトの名無しさん：2024/04/14(日) 21:43:21.13 ID:CaUwpcFN.net
- 順序集合とは半順序が定義された集合である
- 285 ：デフォルトの名無しさん：2024/04/14(日) 21:54:07.48 ID:CaUwpcFN.net
- 帰納的集合かな
- 286 ：デフォルトの名無しさん：2024/04/14(日) 22:02:11.90 ID:ZXz6cRZI.net
- >>270
うん…。
まあ、そもそも有限ステップで証明可能な事と、近似値ではない真の値を求めることを混同してる>1が悪いって事やね。
ε-δ論法で証明出来るのはいくらでも精度の高い近似値を求められる（それをもって極限の存在を証明）ってだけやし。
- 287 ：デフォルトの名無しさん：2024/04/14(日) 22:33:23.89 ID:CaUwpcFN.net
- 継承的集合でいいな
- 288 ：デフォルトの名無しさん：2024/04/14(日) 22:49:19.66 ID:NsoP3YSl.net
- >>286
お前が馬鹿なだけだよ
他責にすんな
- 289 ：デフォルトの名無しさん：2024/04/14(日) 23:06:54.86 ID:bCnJWLVL.net
- >>286
1/3 = 0.33...は無限につづくから真の値は求められないとか言ってるようなもん
小学生レベル
- 290 ：デフォルトの名無しさん：2024/04/15(月) 01:24:44.77 ID:hKAoajYZ.net
- >>289
無理数はまさしく真の値は求められないだろ？
それこそスパコンで何兆桁求めたとかニュースになるけど、それでも近似値でしかない。
証明はあくまで存在を保証するだけ。
- 291 ：デフォルトの名無しさん：2024/04/15(月) 02:17:00.24 ID:6hq71KF2.net
- >>290
「コーシー列の極限」が実数なんだから、コーシー列を与えれば真の値になるだろ。
証明は数列が極限を持つことを示せば良く、数を無限に並べる必要は無い。
- 292 ：デフォルトの名無しさん：2024/04/15(月) 02:18:27.89 ID:iwi7Bhpd.net
- 他責というか他人からもらった情報を丸暗記しなければいい
たとえば嫌いな問題は飛ばして好きな問題で点数を稼ぐのも
与えられた情報を好き嫌いで切り取ってしまう技術
- 293 ：デフォルトの名無しさん：2024/04/15(月) 02:29:44.50 ID:ANhhwFml.net
- πの任意の桁は定数時間で求まる
- 294 ：デフォルトの名無しさん：2024/04/15(月) 07:29:11.29 ID:hKAoajYZ.net
- >>291
いあ、だから。それが真の値の存在を示してるだけって事だろ。
証明の厳密さが違うだけで、意味としては同じだ。
- 295 ：デフォルトの名無しさん：2024/04/15(月) 07:51:45.06 ID:iwi7Bhpd.net
- 値のサイズが大きかろうが無限だろうがそれを指すポインタのサイズは小さい
- 296 ：デフォルトの名無しさん：2024/04/15(月) 08:15:15.77 ID:SAfAFkQa.net
- >>294
同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。
確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。
- 297 ：デフォルトの名無しさん：2024/04/15(月) 08:24:20.81 ID:SAfAFkQa.net
- >>296
おっと
×有理体 ○有理数体
- 298 ：デフォルトの名無しさん：2024/04/15(月) 08:29:15.90 ID:hKAoajYZ.net
- >>296
それについては言い過ぎたと謝罪するけど、それって結局真の値は分からなくても√２って記号に押し込めれば順序比べられるし四則演算出来るってのと変わらない。
>1の求める近似値ではない厳密って何？って話になるが。
- 299 ：デフォルトの名無しさん：2024/04/15(月) 08:51:17.84 ID:KspO/JeI.net
- >>298
当たり前だろ。無理数は有理数じゃないんだから、有理数とは対応しない。
現代の数学は「実数=コーシー列の極限」で構築されているから、コーシー列が分かれば実数そのものとして扱うことができる。
- 300 ：デフォルトの名無しさん：2024/04/15(月) 09:09:27.70 ID:ANhhwFml.net
- 連日レス乞食
- 301 ：デフォルトの名無しさん：2024/04/15(月) 09:36:29.81 ID:scEUff9F.net
- >>299
実数の構成に5つぐらいある、切断とか。それに同値なものを同じものとみなすこともよくやる。
例えば実数は体、順序構造、連続性をもつものとして定義する
- 302 ：デフォルトの名無しさん：2024/04/15(月) 09:49:54.71 ID:ANhhwFml.net
- >>301
その存在示すのに、切断やコーシー列使うんやろ
- 303 ：デフォルトの名無しさん：2024/04/15(月) 10:50:20.08 ID:scEUff9F.net
- >>302
存在とは？
- 304 ：デフォルトの名無しさん：2024/04/15(月) 11:21:19.32 ID:scEUff9F.net
- 数学系のためのLean勉強会
https://haruhisa-enomoto.github.io/lean-math-workshop/
- 305 ：デフォルトの名無しさん：2024/04/15(月) 12:00:05.12 ID:ANhhwFml.net
- >>303
実数体Rの存在
- 306 ：デフォルトの名無しさん：2024/04/15(月) 12:44:15.61 ID:scEUff9F.net
- >>305
だから存在をどうやって示すんだ
- 307 ：デフォルトの名無しさん：2024/04/15(月) 12:50:03.22 ID:SAfAFkQa.net
- >>306
クロネッカーみたいだな。
- 308 ：デフォルトの名無しさん：2024/04/15(月) 14:37:35.85 ID:ANhhwFml.net
- >>306
微分積分の教科書読めよ
- 309 ：デフォルトの名無しさん：2024/04/15(月) 15:20:17.14 ID:KspO/JeI.net
- >>306 >>308
微積というよりも解析だな。
- 310 ：デフォルトの名無しさん：2024/04/15(月) 16:24:37.72 ID:scEUff9F.net
- >>308,309
お前が言うなｗｗｗ
- 311 ：デフォルトの名無しさん：2024/04/15(月) 16:25:33.86 ID:scEUff9F.net
- 上に書いておいただろ、ど素人目が
- 312 ：デフォルトの名無しさん：2024/04/15(月) 17:00:38.31 ID:FtziCmAa.net
- 素人はお前だ
イキがんな
- 313 ：デフォルトの名無しさん：2024/04/15(月) 17:32:13.23 ID:scEUff9F.net
- 自己紹介乙
- 314 ：デフォルトの名無しさん：2024/04/15(月) 17:36:31.60 ID:scEUff9F.net
- 上から目線で語ったと思ったら実は下だった件ｗ
- 315 ：デフォルトの名無しさん：2024/04/15(月) 17:36:43.64 ID:4nWFLl9l.net
- >>306
> だから存在をどうやって示すんだ
こんな解析学の教科書の最初に書いてあることが分からずに実数論の講釈を垂れてた恥ずかしいやつ→ID:scEUff9F
- 316 ：デフォルトの名無しさん：2024/04/15(月) 17:40:34.97 ID:scEUff9F.net
- >>315
証明してくれ
- 317 ：デフォルトの名無しさん：2024/04/15(月) 18:18:17.39 ID:scEUff9F.net
- >>315
証明できないのならどの本の何ページに証明が書いてあるのか教えてくれ
- 318 ：デフォルトの名無しさん：2024/04/15(月) 18:41:51.88 ID:NsRnPyj0.net
- デデキント切断や完備化などが出てきても
有理数を既知として実数体を構成しているということが理解できない
これでは数学書をいくら読んでもザルで水をすくうようなもの
- 319 ：デフォルトの名無しさん：2024/04/15(月) 18:47:48.86 ID:Qlt6SMAG.net
- 横からだけど>>317は
理系の大学数学(所謂現代数学)における論理展開の流れや
存在の証明とされるパターンが分かってないから、かなりの独学なのかな
始めの内は簡単な教科書を(定理部分だけ)拾い読みするんじゃなくて
書いてある文章や定義、証明を精読しないと論理展開が抜け落ちて話が通じないよ
>>318が書いてくれたか、任せた
- 320 ：デフォルトの名無しさん：2024/04/15(月) 19:01:28.04 ID:hHvO3P6A.net
- 存在論を厳密にやり過ぎるとクソどうでもいい心理学の信者が増える
- 321 ：デフォルトの名無しさん：2024/04/15(月) 19:39:20.03 ID:NsRnPyj0.net
- Q = 有理数の全体
Qの部分集合A, Bの組(A, B)で以下をみたすものをQの切断という
A ≠ ∅, B ≠ ∅
A∪B = Q
a∈A, b∈B ⇒ a < b
- 322 ：デフォルトの名無しさん：2024/04/15(月) 19:39:48.13 ID:NsRnPyj0.net
- Qの切断C = (A, B)に対して、論理的には次の4つの可能性がある
(1) Aは最大元をもち、Bも最小元をもつ
(2) Aは最大元をもつが、Bは最小元をもたない
(3) Aは最大元をもたないが、Bは最小元をもつ
(4) Aは最大元をもたず、Bも最小元をもたない
この内、(1)はありえない
なぜならば、Aの最大元をm、Bの最小元をMとすると、(m + M)/2は有理数でA, Bのどちらにも属さないから
(2), (3)の場合は、有理数と対応する
(2)と(3)で境界の数が同じものは同一視すれば、
(2)(3)型の切断全体と有理数全体が1対1対応する
これと(4)型の切断の合併をRとする
- 323 ：デフォルトの名無しさん：2024/04/15(月) 19:41:17.04 ID:NsRnPyj0.net
- Rの加法、乗法を
(A, B) + (A', B') := (A + A', B + B')
(A, B) (A', B')
:= (A+ A'+, B B') (if 0∈A, 0∈A')
:= (B B'-, A+ A') (if 0∈A, 0∉A')
:= (B- B', A, A'+) (if 0∉A, 0∈A')
:= (A, A', B- B'-) (if 0∉A, 0∉A')
で定める（境界を含む/含まないなどで不具合があれば適当に修正してくれ）
Rは体になる（(0)が極大イデアルであることを示せばいい）
Rの半順序を
(A, B) ≤ (A', B')
:⇔ a∈A, b'∈B' ⇒ a < b
で定める
≤は全順序になり、Rは順序体になる
- 324 ：デフォルトの名無しさん：2024/04/15(月) 19:43:04.23 ID:NsRnPyj0.net
- ただし
A + A' := {a + a' : a∈A, a'∈A'}
A+ := {a∈A : a > 0}
B- := {b∈B : b ≤ 0}
- 325 ：デフォルトの名無しさん：2024/04/15(月) 19:43:33.66 ID:NsRnPyj0.net
- 細かな間違いはあるだろうが、概ねこんな流れだろう
- 326 ：デフォルトの名無しさん：2024/04/15(月) 19:51:54.10 ID:eajKaNbV.net
- (仮定、前提、公理として)存在しているものから(公理的)集合論操作で構成したものは存在する、
これは自明の理として存在証明のOKパターンな事だけ補足しておくよ
- 327 ：デフォルトの名無しさん：2024/04/15(月) 20:01:42.17 ID:eajKaNbV.net
- >>301
>例えば実数は体、順序構造、連続性をもつものとして定義する
これは数論とか超準解析とか特定の用途でご都合定義や対比で採用(完備(非)アルキメデス順序体)する位で
well definedかどうかの議論は本来は必要だし>>302のツッコミが入るのは当然
- 328 ：デフォルトの名無しさん：2024/04/15(月) 20:04:25.08 ID:eajKaNbV.net
- >>320
>存在論
そう言うのが寄り付かないのが現代数学の良い所の1つかも
- 329 ：デフォルトの名無しさん：2024/04/15(月) 20:44:59.91 ID:scEUff9F.net
- >>319
自己紹介乙
- 330 ：デフォルトの名無しさん：2024/04/15(月) 20:45:46.33 ID:scEUff9F.net
- >>327
意味不明
- 331 ：デフォルトの名無しさん：2024/04/15(月) 20:55:50.13 ID:scEUff9F.net
- >>325
ご苦労さん、実数の公理があるだけなんで証明するものではない
- 332 ：デフォルトの名無しさん：2024/04/15(月) 21:29:20.68 ID:vvdCRtkm.net
- アホすぎる
- 333 ：デフォルトの名無しさん：2024/04/15(月) 21:32:26.82 ID:scEUff9F.net
- 自己紹介乙
- 334 ：デフォルトの名無しさん：2024/04/15(月) 21:49:55.52 ID:InxNy96J.net
- ポエム連投しか能が無いのに、かっこつけで数学の話してみたら秒でボロが出るザコ（笑）
- 335 ：デフォルトの名無しさん：2024/04/15(月) 21:53:20.15 ID:scEUff9F.net
- 自己紹介乙
- 336 ：デフォルトの名無しさん：2024/04/15(月) 21:55:11.91 ID:scEUff9F.net
- 頭ついてるのかｗ
- 337 ：デフォルトの名無しさん：2024/04/15(月) 21:57:07.42 ID:scEUff9F.net
- 馬鹿といわれなきゃ分からない馬鹿
- 338 ：デフォルトの名無しさん：2024/04/16(火) 00:50:06.56 ID:aRJ0OCMo.net
- ま、何だな。近年の計算機ってさ内部2進数か稀に十進数
であり、絶対に絶対にゼッタイに内部３進数はないよな
で、本題。何で、地球の計算機ってさ
-27の1/3乗はエラーにならず-3って答え出せるの❓
ちなみに、-27の0.33333333乗はダメだった。
1/3と0.33333333333…5 の差は如何なるεより小さいのか❓
地球人って数学もコンピュータもどっちも、ズルしてるな🥳
- 339 ：デフォルトの名無しさん：2024/04/16(火) 15:34:00.46 ID:ffps7/Wl.net
- いずれ量子コンピュータの時代になるから
コンピュータ=2進数のイメージはすたれていくだろうな
- 340 ：デフォルトの名無しさん：2024/04/16(火) 16:09:15.10 ID:X3z51ZSN.net
- >>337,339
そんなことより、これを大学数学初年度の回答レベルで解いてみてよ
https://i.ytimg.com/vi/gt5VVmztpak/hqdefault.jpg
- 341 ：デフォルトの名無しさん：2024/04/16(火) 16:13:56.69 ID:Ng40HiX6.net
- >>340
スレタイ読めよ
- 342 ：デフォルトの名無しさん：2024/04/16(火) 16:31:40.11 ID:Ng40HiX6.net
- カリー・ハワード同型対応
- 343 ：デフォルトの名無しさん：2024/04/16(火) 17:31:21.11 ID:gwwVz7LD.net
- >>340
明らかに成り立たないし、そもそもnが定義されていなかったり問題として成り立ってない
- 344 ：デフォルトの名無しさん：2024/04/16(火) 17:33:24.91 ID:Ng40HiX6.net
- Curry-Howard Correspondence
https://web2.qatar.cmu.edu/cs/15317/lectures/04-curryhoward.pdf
- 345 ：デフォルトの名無しさん：2024/04/16(火) 17:35:24.46 ID:Ng40HiX6.net
- カリー・ハワード対応 (Curry-Howard correspondence) は、数学と計算理論の分野で重要な関係性を表す概念です。この対応は、論理学と型理論の間の深い関連を示しています。
カリー・ハワード対応は、次のような三つの分野間の関係を表しています。
1. 論理学: 論理的な命題や証明体系
2. 型理論: プログラミング言語や計算の型システム
3. 圏論: 数学的構造を研究する分野
これらの分野の対応関係は次のようになります。
1. 論理学の命題や証明は、型理論の型とプログラムに対応する。
2. 論理学の証明の形式は、型理論のプログラムの構造に対応する。
3. 圏論における対象や射は、型理論における型や関数と対応する。
この対応関係は、論理学の証明とプログラミング言語のプログラムの間に類似性があり、その間の数学的な形式的関係を示しています。これは、プログラムの正しさや証明の正当性を検証するための形式手法に関連しており、特に依存型や型理論に基づく証明支援系で重要な役割を果たしています。
- 346 ：デフォルトの名無しさん：2024/04/16(火) 18:01:37.43 ID:fFCD5orj.net
- n乗根のアルゴリズムは選択公理みたいに解の集合から一つ選択するんだよね
ここで空集合と空でない集合という、なんというか
反なめらか勢力？
- 347 ：デフォルトの名無しさん：2024/04/16(火) 18:54:49.14 ID:usMdjojl.net
- >>345,346
そんなことより>>340の題意は伝わってるようだね
成立してるよ
- 348 ：デフォルトの名無しさん：2024/04/16(火) 21:01:49.49 ID:ce0c+Wns.net
- ばーか
- 349 ：デフォルトの名無しさん：2024/04/16(火) 21:03:04.14 ID:A1Drxn9H.net
- しねぇ！！！
- 350 ：デフォルトの名無しさん：2024/04/16(火) 21:05:37.59 ID:bJGpAOxM.net
- ポエム、死すべし
- 351 ：デフォルトの名無しさん：2024/04/16(火) 21:06:32.75 ID:Qd7fb1ey.net
- 賢こぶるなカスが
- 352 ：デフォルトの名無しさん：2024/04/16(火) 21:08:00.17 ID:UT47qync.net
- きゅうりを育てる
プロジェクトX
- 353 ：デフォルトの名無しさん：2024/04/16(火) 21:09:06.06 ID:UT47qync.net
- メークインの
メッカ
- 354 ：デフォルトの名無しさん：2024/04/16(火) 21:11:20.78 ID:UT47qync.net
- しねええええっ！！
- 355 ：デフォルトの名無しさん：2024/04/16(火) 21:12:18.68 ID:odkgr9I4.net
- カリー・ハワードって別にそれで何かブレイクスルーが起こったわけでもない
無意味に持ち上げすぎだろ
- 356 ：デフォルトの名無しさん：2024/04/16(火) 21:12:56.63 ID:UT47qync.net
- はーか
- 357 ：デフォルトの名無しさん：2024/04/16(火) 21:15:22.83 ID:hd0EAKHj.net
- Pachinkoですった借金
積もりに積もって、、もどーる
- 358 ：デフォルトの名無しさん：2024/04/16(火) 21:16:45.23 ID:UT47qync.net
- しねええええっ！！！
- 359 ：デフォルトの名無しさん：2024/04/16(火) 21:17:45.68 ID:DMBaPuV2.net
- かわいそうに・・・
- 360 ：デフォルトの名無しさん：2024/04/16(火) 21:18:44.24 ID:wb1PrcU1.net
- 自己実現欲求が満たせないゴミめ
- 361 ：デフォルトの名無しさん：2024/04/16(火) 21:22:14.67 ID:wb1PrcU1.net
- グランドペチカ
- 362 ：デフォルトの名無しさん：2024/04/16(火) 21:23:49.80 ID:fFCD5orj.net
- ブレイクスルーのたびに歴史の断絶があるのは面倒だから
数学に期待されることはおそらく断絶を阻止すること
- 363 ：デフォルトの名無しさん：2024/04/16(火) 21:26:35.11 ID:8wnatpzr.net
- しねえええええっ！！！
- 364 ：デフォルトの名無しさん：2024/04/16(火) 21:28:36.61 ID:g+y/CpM4.net
- だまれー！！
- 365 ：デフォルトの名無しさん：2024/04/16(火) 21:33:33.59 ID:eUys93Mt.net
- !
- 366 ：デフォルトの名無しさん：2024/04/16(火) 21:34:29.00 ID:UT47qync.net
- 青い眼をした
銀河団本中二
- 367 ：デフォルトの名無しさん：2024/04/16(火) 21:34:53.48 ID:bezjSTs7.net
- サンリオ😂
- 368 ：デフォルトの名無しさん：2024/04/16(火) 21:37:39.74 ID:bezjSTs7.net
- まくら
- 369 ：デフォルトの名無しさん：2024/04/16(火) 21:38:11.07 ID:UT47qync.net
- なんでまゆげ透けてんの？
- 370 ：デフォルトの名無しさん：2024/04/16(火) 21:38:39.99 ID:gwHtYNMH.net
- コロス
えいディス寿司実いたしますかな
- 371 ：デフォルトの名無しさん：2024/04/16(火) 21:45:06.43 ID:pVDgreOv.net
- 凹凸がないって、美しい
- 372 ：デフォルトの名無しさん：2024/04/16(火) 21:46:19.26 ID:UT47qync.net
- 効果音は、Diggy
- 373 ：デフォルトの名無しさん：2024/04/16(火) 21:46:44.33 ID:LcfQM7X4.net
- まつげ、性的、いい匂い
- 374 ：デフォルトの名無しさん：2024/04/16(火) 21:49:02.99 ID:UT47qync.net
- 松永豊
- 375 ：デフォルトの名無しさん：2024/04/16(火) 21:49:35.08 ID:KGvJIPyy.net
- 低所得者は、動物と同じ
- 376 ：デフォルトの名無しさん：2024/04/16(火) 23:43:41.31 ID:Ng40HiX6.net
- 効いてるな
- 377 ：デフォルトの名無しさん：2024/04/17(水) 05:17:52.87 ID:LS70dTDX.net
- すぐ怒る人は、想像力が乏しい
- 378 ：デフォルトの名無しさん：2024/04/17(水) 05:31:12.83 ID:riJpNYPi.net
- 社会正義を気取ったコンプレックスの初ライブ
- 379 ：デフォルトの名無しさん：2024/04/17(水) 05:34:52.94 ID:riJpNYPi.net
- 発露
- 380 ：デフォルトの名無しさん：2024/04/17(水) 05:38:55.39 ID:Ah17i+H9.net
- ちんぼ喪失ドM尊厳破壊
- 381 ：デフォルトの名無しさん：2024/04/17(水) 05:56:42.90 ID:Rqxu+zgK.net
- >>340
P(x) = x^2
f_1(x) = 0
[∀x∈R, P(x) ≥ 0]∧[P(x) ≠ (f_1(x))^2]
？
- 382 ：デフォルトの名無しさん：2024/04/17(水) 06:19:24.07 ID:ivCgW6Mo.net
- >>381
そこまで話が通じないとはw
ネタだろうけど出来損ないAIを真似た皮肉かなw
マジネタだったらそう言ってくれ、多少は補足するから
- 383 ：デフォルトの名無しさん：2024/04/17(水) 06:25:43.54 ID:ivCgW6Mo.net
- 前提
Pは任意の実係数多項式で∀x∈R, P(x) ≥ 0を満たすもの
示すべき事
この時、ある自然数nと実係数多項式f_k(x)、k=1..nが存在して
>>340の等式を満たすことが出来る
- 384 ：デフォルトの名無しさん：2024/04/17(水) 06:26:20.25 ID:ivCgW6Mo.net
- やり取りするのも面倒だから書き下したよ
- 385 ：デフォルトの名無しさん：2024/04/17(水) 06:41:39.48 ID:Rqxu+zgK.net
- >>383と>>340が数学の主張として異なるということが理解できないということ？
- 386 ：デフォルトの名無しさん：2024/04/17(水) 06:42:33.01 ID:Rqxu+zgK.net
- それとも、問題に不備があったことを素直に謝罪できない性格だということ？
- 387 ：デフォルトの名無しさん：2024/04/17(水) 06:44:24.20 ID:cVeWwllr.net
- >>381マジレスだったのかよwwww
- 388 ：デフォルトの名無しさん：2024/04/17(水) 06:55:34.85 ID:Rqxu+zgK.net
- 奇数次ならかならず符号が逆転するので偶数次
x → x + aと変換して、奇数次の項消してけばいいよ
- 389 ：デフォルトの名無しさん：2024/04/17(水) 07:06:37.75 ID:Rqxu+zgK.net
- 平方完成で
a(f(x))^2n + b(g(x))^2(n-1) + ... + c(h(x))^2 + d
の形にはできる
a, b, ..., c, dが正の数になることがわかればいい
- 390 ：デフォルトの名無しさん：2024/04/17(水) 07:14:37.17 ID:8VlP8M9h.net
- >>388,389
問題自体は高校数学
大学レベルの隙の無い回答を求められているけど
妥協して高校基準でも
0点
- 391 ：デフォルトの名無しさん：2024/04/17(水) 07:24:42.19 ID:Rqxu+zgK.net
- ∀x, P(x) ≥ 0なので、最高次の係数はかならず正
a(x + A)^2n + bx^2(n-1) + ...
の形にできる
b ≥ 0ならOK
b < 0ならどうする？
- 392 ：デフォルトの名無しさん：2024/04/17(水) 07:33:59.44 ID:t6s9wa3O.net
- Z世代かな?
- 393 ：デフォルトの名無しさん：2024/04/17(水) 07:41:11.30 ID:Rqxu+zgK.net
- ∀x, (x^2 + a)^2 - x^2 ≥ 0 となるようaをとってみる
x^4 + (2a - 1)x^2 + a^2
= (x^2 + a - 1/2)^2 + a^2 - (4a^2 - 4a + 1)/4
a ≥ 1/4ならOKなのでa = 1/4とする
x^4 - 1/2 x^2 + 1/16
= (x^2 - 1/4)^2
4次の場合は
(x^2 + A)^2 + (X + B)^2 + C^2
の形にできそう
6次は？
- 394 ：デフォルトの名無しさん：2024/04/17(水) 07:56:34.24 ID:IyFytcQ9.net
- 問題に不備があったら出題も採点も自分でやればいい
それを自分でやってはいけないという思考それこそが他責思考である
- 395 ：デフォルトの名無しさん：2024/04/17(水) 08:38:41.15 ID:Rqxu+zgK.net
- P(x)は実数係数多項式で、∀x∈R, P(x) ≥ 0が成り立つとする。
P(x)の次数は偶数。
∵ 奇数なら、x → ±∞ どちらかの極限が-∞になるから。
deg(P(x)) = 2dとする
d = 0のとき、P(x)は非負の定数Cなので、P(x) = √C^2と書ける。
2(d-1)以下の偶数次のR係数多項式では、
∀x∈R, Q(x) ≥ 0 ⇒ Q = f_1^2 + ... + f_n^2と書ける
が成立すると仮定する
{P(x)|x∈R}は下に有界
十分大きなr > 0を取れば、|x| > rでのP(x)の値は、[-r, r]でのP(x)の値よりも大きくできる。
よって、P(x)は最小値m > 0を持つ。
P(x) = mとなるxをx_0
F(x) = P(x) - mとおく
F(x)はF(x_0) = 0で、x = x_0で極小値をとるから、あるQ(x)が存在して
F(x) = (x - x_0)^2 Q(x)
となる。
Q(x) = F(x)/(x - x_0)^2は、次数2(d-1)以下でつねに非負だから、仮定より
Q(x) = f_1(x)^2 + ... + f_n(x)^2
と書ける。
よって、
P(x) = (f_1(x)(x - x_0))^2 + ... + (f_n(x)(x - x_0)^2 + √m^2
と書ける。
- 396 ：デフォルトの名無しさん：2024/04/17(水) 08:39:47.33 ID:Rqxu+zgK.net
- 多変数では同様のことは成り立つのかな？
- 397 ：デフォルトの名無しさん：2024/04/17(水) 08:48:45.47 ID:Rqxu+zgK.net
- 二次式の場合は成り立つ
x∈R^n
Q(x) = txSx tは転置
とすれば、Sは実対称行列になるから、適当な基底変換Tで
Q(Tx) = a_1(x_1)^2 + ... + a_n(x_n)^2
となるつねに非負なのは、∀i, a_i ≥ 0となるとき。
- 398 ：デフォルトの名無しさん：2024/04/17(水) 09:03:30.45 ID:viu9nkYS.net
- プログラミングしろよ
何を手で解いとんねん
無能かよ
- 399 ：デフォルトの名無しさん：2024/04/17(水) 09:05:43.22 ID:eWa5nsHI.net
- 酒をのんだら、無意識に呼吸できなくなった
寝られない
- 400 ：デフォルトの名無しさん：2024/04/17(水) 09:19:11.73 ID:nP2I5Wyb.net
- >>395
100点(最小値mは≧0なのはお目こぼしとして)
演習で板書すると100点でも理解度を確かめるために既知として良い所も
訊かれた経験あるかも知れないけど、例えば、この部分を噛み砕いて見てよ
>F(x)はF(x_0) = 0で、x = x_0で極小値をとるから、あるQ(x)が存在して
>F(x) = (x - x_0)^2 Q(x)
>となる。
(他にも最小値の存在を暗黙裡にしたらツッコミどころだった)
>>396
そこまでは知らない、>>340はユーチューブの拾い物なだけだから
https://youtu.be/gt5VVmztpak
(そこでは別解がなされてる)
>>398
Lean4で回答してくれても良いよ
- 401 ：デフォルトの名無しさん：2024/04/17(水) 10:01:20.89 ID:sJRiVtui.net
- いろいろ具体例で実験して発見するのだなあ
- 402 ：デフォルトの名無しさん：2024/04/17(水) 10:41:17.51 ID:reMCnFls.net
- ある朝、男が牧場の近くを通った時、腕時計が壊れていることに気づきました。
牧場には、牧草の束にもたれて寝ている牛飼いがいたので、男は「今、何時ですか」と尋ねました。
すると、牛飼いは近くの牛の金玉を持ち上げて、「8時10分だよ」と言いました。
男は怪訝に思いながらも、お礼を言って牧場を後にしました。
その日の夕、時計を直した男は再び牧場のそばを通りました。
牧場には、朝の牛飼いが牧草の束にもたれて寝ていました。
男は牛飼いに「今、何時ですか」と尋ねました。
牛飼いは、やはり牛の金玉を持ち上げて、「5時30分だよ」と言いました。
男は自分の時計を見ました。時計は牛飼いの言うとおり、5時30分を指していました。
男は驚き、「どうして牛の金玉で時間がわかるのですか」と牛飼いに尋ねました。
牛飼いは笑って、「向こうの時計台を見ていただけだよ」と言い、牧場の向こうを指差しました。
- 403 ：デフォルトの名無しさん：2024/04/17(水) 10:48:26.99 ID:QYenzWQY.net
- In 1888, Hilbert showed that every non-negative homogeneous polynomial in n variables and degree 2d can be represented as sum of squares of other polynomials if and only if either (a) n = 2 or (b) 2d = 2 or (c) n = 3 and 2d = 4.
- 404 ：デフォルトの名無しさん：2024/04/17(水) 10:59:08.88 ID:MC+f1reS.net
- >>403
へー、勉強になるわ
今回のはhomogeneousにしてn=2の場合だね
- 405 ：デフォルトの名無しさん：2024/04/17(水) 11:22:16.74 ID:QYenzWQY.net
- 任意の整数nに対し
abc+abd+acd+bcd=1
を満たす0でない整数の組(a,b,c,d)が無限に存在することを示せ
- 406 ：デフォルトの名無しさん：2024/04/17(水) 11:27:59.69 ID:/l2KPUVP.net
- 位数pqの有限群を分類せよ
- 407 ：デフォルトの名無しさん：2024/04/17(水) 12:12:24.30 ID:MC+f1reS.net
- >>405
何個か系列が挙げられている
背後に深い理論があるんだろうけど導出が見当たらない
https://math.stackexchange.com/questions/872324/diophantine-equation-abc-abd-acd-bcd-1
>>406
これはコンピューター代数が効きそうな設問だね
- 408 ：デフォルトの名無しさん：2024/04/17(水) 21:28:06.49 ID:d0sPi4E4.net
- 上流は70点位の擬似コードを
下流は隙のない100点のコードを求められる
- 409 ：デフォルトの名無しさん：2024/04/19(金) 04:58:45.43 ID:VczmU+ll.net
- 圏のモノイド化であるカテゴロイドが最先端らしい
- 410 ：デフォルトの名無しさん：2024/04/19(金) 09:50:12.86 ID:EGRRzOnw.net
- 商人なら主語を修正する
学者なら述語を修正する
中立ならどっちも修正するか、何も変えない
- 411 ：デフォルトの名無しさん：2024/04/19(金) 09:53:23.64 ID:yPPcHo4B.net
- 役人、サラリーマン、農業は？
- 412 ：!id:igunore：2024/04/21(日) 16:32:04.97 ID:QcTo+DFu.net
- test
- 413 ：デフォルトの名無しさん：2024/04/22(月) 19:57:50.12 ID:Z/mW1wgm.net
- 国際社会では日本はすっかり女性差別および児童ポルノ大国と見られている
シリアやアフガニスタンと同列の人権後進国だと見なされている
- 414 ：デフォルトの名無しさん：2024/04/22(月) 20:50:40.46 ID:o0SSvQPa.net
- 光るものすべて金ならず
- 415 ：デフォルトの名無しさん：2024/04/24(水) 00:45:42.60 ID:qYUcXmw2.net
- >>411
網羅できない理由の方が多いのに何故できる方に賭けてしまうのかね
カリー・ハワード対応もそうだが
- 416 ：デフォルトの名無しさん：2024/04/24(水) 06:04:35.75 ID:0I0qCYsp.net
- 酒を飲むと脳が萎縮するソクラテスは豚だ
- 417 ：デフォルトの名無しさん：2024/04/24(水) 06:37:08.15 ID:Ucc6jtP7.net
- 41歳列車で真ん中に座れるようになりました
- 418 ：デフォルトの名無しさん：2024/04/24(水) 07:26:08.85 ID:sd26LqbM.net
- >>415
お前の首の上につけているものはなんだｗ
- 419 ：デフォルトの名無しさん：2024/04/24(水) 11:01:50.05 ID:0on+NXwB.net
- プログラミングは線形代数だろ？
- 420 ：デフォルトの名無しさん：2024/04/24(水) 11:16:56.18 ID:qYUcXmw2.net
- モビルスーツに手と足と頭があるのも網羅がしたいだけ
- 421 ：デフォルトの名無しさん：2024/04/24(水) 11:44:52.53 ID:sd26LqbM.net
- ポエムしか書けないアホ
- 422 ：デフォルトの名無しさん：2024/04/24(水) 12:02:24.24 ID:BuUg9b8b.net
- カリーハワード対応の元でも
型の表現力の問題で大した命題は表現できなさそう
依存型をもつ言語が待たれる
ただ、haskellにはカン拡張のライブラリがあるので圏論とは相性がよいのかもしれない
- 423 ：デフォルトの名無しさん：2024/04/24(水) 12:18:51.40 ID:sd26LqbM.net
- 馬鹿だね、ただの道具
- 424 ：デフォルトの名無しさん：2024/04/24(水) 12:46:31.82 ID:hOEBS28r.net
- Kan拡張ってどう便利なの
- 425 ：デフォルトの名無しさん：2024/04/24(水) 14:34:26.92 ID:qYUcXmw2.net
- 「Haskellには依存型がない」は「Cにはclassがない」と同じ形式だし
「数学だから違う」は数学の定理ではない
- 426 ：デフォルトの名無しさん：2024/04/24(水) 16:07:04.29 ID:sd26LqbM.net
- 数学知らないんだろ
- 427 ：デフォルトの名無しさん：2024/04/24(水) 16:28:57.36 ID:sd26LqbM.net
- https://leanprover-community.github.io/
こういう話をしてるんだよ
- 428 ：デフォルトの名無しさん：2024/04/24(水) 17:12:59.42 ID:wm22WFWW.net
- 依存型がなければ、その上に型システムを構築したらいいのでは？
- 429 ：デフォルトの名無しさん：2024/04/24(水) 17:25:41.09 ID:qYUcXmw2.net
- やりたいことをやってる人は問題ないが必然的にこの道しかないみたいな考えはたいてい間違っている
- 430 ：デフォルトの名無しさん：2024/04/24(水) 17:27:54.06 ID:sd26LqbM.net
- 意味不明を繰り返す爺
- 431 ：デフォルトの名無しさん：2024/04/24(水) 19:49:04.05 ID:H3cF+EGE.net
- 微分積分
- 432 ：デフォルトの名無しさん：2024/04/24(水) 20:37:33.11 ID:8tkXCVQE.net
- 型に複雑さ移動するだけで何も楽にならない
むしろ難しくなる
- 433 ：デフォルトの名無しさん：2024/04/24(水) 20:39:18.33 ID:H3cF+EGE.net
- 楽になるなんて誰が言ったんだ
- 434 ：デフォルトの名無しさん：2024/04/24(水) 21:00:04.00 ID:qYUcXmw2.net
- 「道具」には役に立つとか楽になるための道具という意味がなくもない
数学は道具ではないと言うべきだった
- 435 ：デフォルトの名無しさん：2024/04/24(水) 21:01:14.18 ID:sd26LqbM.net
- ソフトウェアは道具だろ、ボケ
- 436 ：デフォルトの名無しさん：2024/04/24(水) 21:45:02.37 ID:W5xC8R60.net
- 高崎
常磐
- 437 ：デフォルトの名無しさん：2024/04/24(水) 21:45:58.35 ID:W5xC8R60.net
- コドモイド
- 438 ：デフォルトの名無しさん：2024/04/24(水) 21:46:28.48 ID:W5xC8R60.net
- ポイントカードと熱線
- 439 ：デフォルトの名無しさん：2024/04/24(水) 21:46:52.14 ID:W5xC8R60.net
- 糸が砕けました
- 440 ：デフォルトの名無しさん：2024/04/24(水) 21:48:24.25 ID:W5xC8R60.net
- ああっ、ナメクジみたいな篦が目の裏に浮かんでくる～っ！！
- 441 ：デフォルトの名無しさん：2024/04/24(水) 21:49:49.75 ID:W5xC8R60.net
- ばあちゃん、ボイパで米研ぐふりするな
- 442 ：デフォルトの名無しさん：2024/04/24(水) 21:52:22.25 ID:W5xC8R60.net
- 縁側と玄関の間に黒電話
渡辺さんワインを持って皆勤賞
ジャラランガ・ライスシャワー
- 443 ：デフォルトの名無しさん：2024/04/25(木) 05:45:14.46 ID:zFonvm9V.net
- 群青色のふとんカバー
ルートを見るより田中社長
- 444 ：デフォルトの名無しさん：2024/04/25(木) 11:27:25.32 ID:JREeyAkZ.net
- 効いてるな
- 445 ：デフォルトの名無しさん：2024/04/25(木) 12:40:38.59 ID:zFonvm9V.net
- サッポー「楡の木陰に高島さん」～ダンディな占い師伝説
- 446 ：デフォルトの名無しさん：2024/04/25(木) 14:35:55.58 ID:XMEAkwKC.net
- じゃあ、物理をプログラミングするには？
- 447 ：デフォルトの名無しさん：2024/04/25(木) 14:36:12.53 ID:XMEAkwKC.net
- じゃあ、物理をプログラミングするには？
- 448 ：デフォルトの名無しさん：2024/04/25(木) 14:36:27.27 ID:iaYqsq7d.net
- じゃあ、物理をプログラミングするには？
- 449 ：デフォルトの名無しさん：2024/04/25(木) 15:14:42.67 ID:VKvfdxmp.net
- Unity一択
- 450 ：デフォルトの名無しさん：2024/04/25(木) 17:48:35.80 ID:JREeyAkZ.net
- スレチ
- 451 ：デフォルトの名無しさん：2024/04/25(木) 19:35:00.54 ID:qJxknH9s.net
- 物理をプログラミングって
シミュレーションじゃないだろ
たとえば世界がライフゲームだとして、
ライフゲームのプログラムを実行するのと、
N手後や前の状態を求めたり、パターンを分類するのは
別のこと
- 452 ：デフォルトの名無しさん：2024/04/25(木) 19:48:06.98 ID:+T+qvOw+.net
- その辺が、πを計算するのに近似値がどうのこうの言ってる連中の誤解かも知れんな
- 453 ：デフォルトの名無しさん：2024/04/26(金) 00:22:39.50 ID:v8FaoBvR.net
- 本体と付属品が別なのは当たり前だが問題は
名詞に相当するものが本体で動詞やら形容詞やらは付属品というのは本当か？
- 454 ：デフォルトの名無しさん：2024/04/26(金) 02:36:24.00 ID:YMX+rGLs.net
- じゃあプログラミングをプログラミングするには？
- 455 ：デフォルトの名無しさん：2024/04/26(金) 06:25:43.74 ID:/fL4F0G5.net
- 制御構文を廃止せよ
- 456 ：デフォルトの名無しさん：2024/04/26(金) 06:28:41.74 ID:sqJNLx+3.net
- モナド
依存型
- 457 ：デフォルトの名無しさん：2024/04/26(金) 07:05:57.81 ID:MwB9a3Td.net
- >>454
圏論や型理論を記述言語にする
結局、数学を記述できる言語が必要
- 458 ：デフォルトの名無しさん：2024/04/26(金) 10:38:30.14 ID:/+TxHGye.net
- プログラミングをプログラミングするといえばlispだろ
- 459 ：デフォルトの名無しさん：2024/04/26(金) 11:01:14.08 ID:Rfmzu2jE.net
- FORTH! FORTH!!
- 460 ：デフォルトの名無しさん：2024/04/26(金) 11:23:32.92 ID:BpYBau1Z.net
- prologじゃダメなんですか？
- 461 ：デフォルトの名無しさん：2024/04/26(金) 12:04:23.78 ID:/+TxHGye.net
- ジェダイは可
一階述語論理(prolog)がやられたようだな
やつは命題論理の次に最弱、プログラミング言語の面汚しよ
- 462 ：デフォルトの名無しさん：2024/04/26(金) 12:23:42.03 ID:BpYBau1Z.net
- 淵さんの悪口は止めてー
- 463 ：デフォルトの名無しさん：2024/04/26(金) 12:23:53.06 ID:Qv/2Ju5X.net
- Use the Forth, Luke.
- 464 ：デフォルトの名無しさん：2024/04/26(金) 14:58:11.95 ID:XmG4rE99.net
- コルーチンは普遍的だ
- 465 ：デフォルトの名無しさん：2024/04/26(金) 15:41:42.09 ID:/+TxHGye.net
- 同じ入力に対して常に同じ出力をかえすのが数学の関数だからコルーチンは邪道
- 466 ：デフォルトの名無しさん：2024/04/26(金) 15:54:00.95 ID:XmG4rE99.net
- コルーチンは関数ではない
- 467 ：デフォルトの名無しさん：2024/04/26(金) 17:20:22.24 ID:SscvQYbj.net
- なんか圏論が万能かのように語る雑魚ってかならずいるよな
そもそも関数型言語をやるうえで言論の知識なんて1ミリも必要ないわけだけど
- 468 ：デフォルトの名無しさん：2024/04/26(金) 17:28:01.02 ID:BpYBau1Z.net
- 言論の自由だ
- 469 ：デフォルトの名無しさん：2024/04/26(金) 17:47:43.85 ID:XmG4rE99.net
- 依存性の注入
継続渡し
- 470 ：デフォルトの名無しさん：2024/04/26(金) 18:43:55.22 ID:hVnzlfRF.net
- ∃.elim(h, (w) => ((hw) => q))
- 471 ：デフォルトの名無しさん：2024/04/26(金) 18:51:28.19 ID:hVnzlfRF.net
- append (v: Vec t n) (w: Vec t m) : (Vec t (n + m)) :=
[] w => w
x:xs w => x:(append xs w)
- 472 ：デフォルトの名無しさん：2024/04/26(金) 18:55:54.57 ID:/+TxHGye.net
- >>466
元の概念(マイクロスレッドとかファイバ)は関数とは独立かもしれんがコルーチンの実装は関数のようだぞ
pythonはジェネレーティブ関数とよび、c#のコルーチンも関数って書いてあった
- 473 ：デフォルトの名無しさん：2024/04/26(金) 22:45:29.55 ID:hVnzlfRF.net
- Megumin
- 474 ：デフォルトの名無しさん：2024/04/27(土) 01:20:53.97 ID:e525gwYe.net
- >>467
1ミリも関係ないもの同士がじつは同型だったみたいな感じ？
何もしてないのに同型
- 475 ：デフォルトの名無しさん：2024/04/27(土) 14:04:36.05 ID:5FYmDggB.net
- lambdaはghost componentを扱えるからな
Idrisなどの関数型言語は、型推論とメタプログラミングによって増々レバレッジを得る
- 476 ：デフォルトの名無しさん：2024/04/27(土) 15:14:22.70 ID:VoduIlph.net
- プログラミング言語論とか本当に役に立たないからな
- 477 ：デフォルトの名無しさん：2024/04/27(土) 17:07:16.37 ID:nw1MgPev.net
- 割り当てられたメモリの値を変更できる時点で数学はできない
- 478 ：デフォルトの名無しさん：2024/04/28(日) 01:44:22.22 ID:rN6WPJxf.net
- つまりプログラミングは数学よりも強力ということ
- 479 ：デフォルトの名無しさん：2024/04/28(日) 09:02:04.37 ID:0uI3fhfO.net
- プログラミングは数学もできるしアルゴリズムも書ける
- 480 ：デフォルトの名無しさん：2024/04/28(日) 09:28:31.16 ID:xSCCuQGd.net
- 自由すぎても強力とはいえないけどな
go to considered harmful
適度にバグりにくい制限があるほうが強力
- 481 ：デフォルトの名無しさん：2024/04/28(日) 10:15:43.02 ID:Z64LYgN7.net
- 雑談もできる
- 482 ：デフォルトの名無しさん：2024/04/28(日) 11:14:59.05 ID:Z64LYgN7.net
- 盛り上がるいいスレ
- 483 ：デフォルトの名無しさん：2024/04/28(日) 11:35:47.04 ID:QLrqknwf.net
- ハスケルはモナドで副作用を扱うって本当？
- 484 ：デフォルトの名無しさん：2024/04/28(日) 11:43:27.30 ID:xSCCuQGd.net
- 基本はIOモナドとSTモナドで副作用を扱える
let x = print 1 in x>>x>>x
↑これはIOモナド(1を改行して3回表示)。副作用を値のようにも扱える
- 485 ：デフォルトの名無しさん：2024/04/28(日) 12:01:18.22 ID:UWVjL+Gl.net
- >>483
嘘
- 486 ：デフォルトの名無しさん：2024/04/28(日) 13:34:31.41 ID:451AX1n4.net
- モナドはListとMaybeをベースに理解しろとあれほど言ったのに
- 487 ：デフォルトの名無しさん：2024/04/28(日) 14:08:30.43 ID:Z64LYgN7.net
- ∧＿∧ ／￣￣￣￣￣
（ ´∀｀）＜ オマエモナー
（ ） ＼＿＿＿＿＿
｜ ｜ |
（_＿）＿）
- 488 ：デフォルトの名無しさん：2024/04/30(火) 15:21:29.13 ID:3Q7tAM30.net
- モナドは副作用の繋げ方を定義しているだけで、副作用を起こしているわけではない
- 489 ：デフォルトの名無しさん：2024/05/02(木) 10:21:11.74 ID:6yj3jofJ.net
- OEISとか数学の数列をプログラミングしてるサイトだな
project eulerを解くとき参考になった
- 490 ：デフォルトの名無しさん：2024/05/03(金) 07:58:46.22 ID:0CJEHho2.net
- モジュラ計算はマルチコアに依存するからプログラミングではできない
- 491 ：デフォルトの名無しさん：2024/05/03(金) 10:55:40.47 ID:VWU4jyai.net
- モジラーや、モジラーや♪
- 492 ：デフォルトの名無しさん：2024/05/03(金) 11:30:26.90 ID:x0ve7rFX.net
- マルチコアの処理をするコードもプログラミングの範疇だが
- 493 ：デフォルトの名無しさん：2024/05/03(金) 12:01:30.25 ID:KP5VxXzU.net
- モナドはわかるがコモナドがわからない
- 494 ：デフォルトの名無しさん：2024/05/03(金) 13:18:55.82 ID:VWU4jyai.net
- マゴモナド
- 495 ：デフォルトの名無しさん：2024/05/03(金) 13:30:27.46 ID:x0ve7rFX.net
- 大きいモナドはお父さん 小さい緋鯉はコモナドたち 面白そうに双対してる
- 496 ：デフォルトの名無しさん：2024/05/03(金) 15:22:02.36 ID:ctk/xevC.net
- 対象と関手を同一視したいな？
はい対角関手
- 497 ：デフォルトの名無しさん：2024/05/03(金) 15:23:58.60 ID:VWU4jyai.net
- 対角拳
- 498 ：デフォルトの名無しさん：2024/05/03(金) 16:09:54.34 ID:NI13qzeL.net
- 半単純リー代数の分類も知らぬザコめが
- 499 ：デフォルトの名無しさん：2024/05/03(金) 16:51:49.76 ID:VWU4jyai.net
- ボウフラを食べる雑魚
- 500 ：デフォルトの名無しさん：2024/05/03(金) 18:02:13.91 ID:VWU4jyai.net
- >>498
それをどうプログラムするんだ？
- 501 ：デフォルトの名無しさん：2024/05/03(金) 20:15:19.00 ID:m2Di0Yp8.net
- >>500
それを考えるスレだろアホかお前
- 502 ：デフォルトの名無しさん：2024/05/03(金) 20:18:12.49 ID:KP5VxXzU.net
- 考える気があるやつなんかいるかよボケ
- 503 ：デフォルトの名無しさん：2024/05/03(金) 20:26:19.76 ID:x0ve7rFX.net
- モンスターの位数は10^52ぐらいだから256ビット(10^77ぐらい)あれば表現できる
- 504 ：デフォルトの名無しさん：2024/05/03(金) 20:39:18.66 ID:S3Ew+Xh3.net
- >>503
お前進歩しないな
- 505 ：デフォルトの名無しさん：2024/05/03(金) 20:56:58.08 ID:x0ve7rFX.net
- 趣味だからいいんだよ 骨っこたーべーてー
- 506 ：デフォルトの名無しさん：2024/05/03(金) 21:53:18.28 ID:VWU4jyai.net
- >>501
知ってても役に立たない知識を自慢げに披露してどや顔する馬鹿
>半単純リー代数の分類も知らぬザコめが
- 507 ：デフォルトの名無しさん：2024/05/04(土) 00:53:24.00 ID:W7qwuJvR.net
- 書き込むごとに無知を晒すアホ
- 508 ：デフォルトの名無しさん：2024/05/04(土) 10:17:00.64 ID:F0cx6LpK.net
- ポエムを書くにはちょうどいいネタ
- 509 ：デフォルトの名無しさん：2024/05/04(土) 23:34:00.17 ID:GgxGcrxO.net
- 素数と自然数、どっちが先？
- 510 ：デフォルトの名無しさん：2024/05/04(土) 23:36:43.06 ID:5BNMHTWk.net
- 乗法モノイド構造から、環構造を復元できるか？
- 511 ：デフォルトの名無しさん：2024/05/05(日) 00:03:10.41 ID:BDRFhWHf.net
- はじめに空間と場としよう
エレメンタリーには場ありきだ
結論から言ってqは最大公約数的
- 512 ：デフォルトの名無しさん：2024/05/05(日) 00:07:03.48 ID:BDRFhWHf.net
- pを取ると
盲目的崖っぷちに近い
1, 2, 3, と数えても
とわに埋まらないものがある
だから存在するとしよう
- 513 ：デフォルトの名無しさん：2024/05/05(日) 00:08:02.74 ID:BDRFhWHf.net
- ここで疑問じゃ
それが本当に正しい解釈か？
わたしたち
擬似的なストーリーに
惑わされてやしないか？
- 514 ：デフォルトの名無しさん：2024/05/05(日) 00:09:27.68 ID:BDRFhWHf.net
- なぜ、針の先端
のようなものから
セメント流しこむのか？
本当にそれで合ってる？
- 515 ：デフォルトの名無しさん：2024/05/05(日) 00:10:30.47 ID:BDRFhWHf.net
- 種がわれた未来では
構成は簡単だ
しかし本質は
未知に近い
- 516 ：デフォルトの名無しさん：2024/05/05(日) 00:15:03.97 ID:BDRFhWHf.net
- さて
そもそもこれは何じゃ？
元はモジュロじゃ
しかし全体はわからんから
一部だけ見る
- 517 ：デフォルトの名無しさん：2024/05/05(日) 00:16:19.37 ID:BDRFhWHf.net
- まず、トリビアル
これが逆説的に難しい
何も出てこないから
そこで変形する
近視眼的になる
- 518 ：デフォルトの名無しさん：2024/05/05(日) 00:18:03.87 ID:BDRFhWHf.net
- どこかに、綻び・縺れがあった
それを回避した形じゃ
これが柔軟な考え方を
可能にする儂らに
- 519 ：デフォルトの名無しさん：2024/05/05(日) 00:19:26.21 ID:BDRFhWHf.net
- 答えがわかれば
カヴァーは簡単だ
あとはまとめればいい
- 520 ：デフォルトの名無しさん：2024/05/05(日) 00:20:11.96 ID:BDRFhWHf.net
- 結論から言うと
全部の駅を合わせる
ただそれだけ
- 521 ：デフォルトの名無しさん：2024/05/05(日) 13:19:56.22 ID:7WTeO/Yw.net
- 結論からいうとqは最大公約数的で全部の駅を合わせればいいんだな
わかった。
- 522 ：デフォルトの名無しさん：2024/05/05(日) 16:39:16.87 ID:/mYn2+os.net
- なんか小難しいスレに迷い込んでしまった
ここまでをまとめると、モナドはオワコンということでOK?
- 523 ：デフォルトの名無しさん：2024/05/05(日) 18:23:09.48 ID:raEbTx5v.net
- スレタイ読めよ
- 524 ：デフォルトの名無しさん：2024/05/05(日) 20:31:07.15 ID:7WTeO/Yw.net
- >>522 まず、トリビアル
結論から言うと擬似的なストーリーに惑わされてやしないか？
- 525 ：デフォルトの名無しさん：2024/05/06(月) 00:51:10.23 ID:gOZqaVA4.net
- どんぐりが足りないと言われてしまう。
- 526 ：デフォルトの名無しさん：2024/05/06(月) 01:47:37.82 ID:S9z+7FUo.net
- 惑いは現象であり物ではない
物を変えることなく、惑うことも惑わないこともありうる
- 527 ：デフォルトの名無しさん：2024/05/06(月) 09:14:01.68 ID:ZgM9kjEK.net
- トリビアルさんがsageを覚えたようだ
これが柔軟な考え方を可能にする儂らに
- 528 ：デフォルトの名無しさん：2024/05/06(月) 11:19:11.95 ID:AfAuGHgh.net
- 第二量子化と関係ある？
- 529 ：デフォルトの名無しさん：2024/05/06(月) 11:46:55.88 ID:gOZqaVA4.net
- 数は何かのエネルギー場らしい
- 530 ：デフォルトの名無しさん：2024/05/06(月) 12:03:02.98 ID:gd5I0tjN.net
- エバQはあくまで共通部分だから中身スッカスカ
もっと一点集中しないと
- 531 ：デフォルトの名無しさん：2024/05/06(月) 12:18:36.69 ID:TmmkktzA.net
- なぜ一点集中すると埋まるのか？
- 532 ：デフォルトの名無しさん：2024/05/06(月) 12:45:48.79 ID:TmmkktzA.net
- そして集めてくる
- 533 ：デフォルトの名無しさん：2024/05/06(月) 20:50:00.51 ID:kPNEJGK+.net
- 標準型は常に全関数だ
なぜか？
積分という手法だからだ
- 534 ：デフォルトの名無しさん：2024/05/06(月) 21:23:50.59 ID:b1Bdlnhs.net
- 特徴的なふるまいには
形あるものが必要だ
- 535 ：デフォルトの名無しさん：2024/05/06(月) 21:50:56.76 ID:2UIG7pZN.net
- >>529
っ ネーターの定理
- 536 ：デフォルトの名無しさん：2024/05/07(火) 09:55:37.07 ID:eRnvNXkn.net
- >>531
数学では様々な構成において、ある関係をみたすA1, A2, A3, ... を集めてくると、新たな対象Aが一意的に定まる、という形式のものがある。
これは普遍性と呼ばれている。
たとえば、Rを環とし、R加群M, Nのテンソル積π: M x N → M⊗Nは、次の性質で特徴付けられる。
(☆) 任意のR加群Lと、双線形写像f: M x N → Lを与えるごとに、線形写像g: M⊗N → Lが存在して、g∘π = fをみたす。
アラビア語圏では、材料となるデータA1, A2, A3, ...のことを「マンコ」、新しい対象Aのことを「ハメル」という。
それぞれの意味は「欠けたもの」、「補われたもの」である。
- 537 ：デフォルトの名無しさん：2024/05/07(火) 11:12:58.59 ID:yUeV8oFM.net
- 数値のパターンによって、本質をとらえる。
- 538 ：デフォルトの名無しさん：2024/05/07(火) 12:36:51.30 ID:jlBp0+F2.net
- エネルギーの在り方をスペクトル分析する。
- 539 ：デフォルトの名無しさん：2024/05/07(火) 13:52:05.03 ID:pdFuXZMq.net
- 黒体輻射
- 540 ：デフォルトの名無しさん：2024/05/07(火) 15:07:21.20 ID:nLVZhmwB.net
- 量子コンピュータでのプログラミングが出来るようになったら世界は変わるだろうか
現状誤り訂正に課題があるみたいだが
- 541 ：デフォルトの名無しさん：2024/05/07(火) 15:10:49.23 ID:pdFuXZMq.net
- もうできるよ
- 542 ：デフォルトの名無しさん：2024/05/07(火) 20:40:15.04 ID:nLVZhmwB.net
- 調べたら中国のgeminiとかいう量子コンピュータが市販(価格は100万,500万,700万の3種類)されてるようだが
OSがどうなってるのかとかよくわからんかった
プログラミング言語も専用のがあるんかな
夢がひろがりんぐ
- 543 ：デフォルトの名無しさん：2024/05/07(火) 21:05:01.83 ID:pdFuXZMq.net
- google
https://ionq.com/
どうプログラミングするのかは分からなかったｗ
- 544 ：デフォルトの名無しさん：2024/05/07(火) 21:06:28.54 ID:pdFuXZMq.net
- 理研
https://rqc.riken.jp/
- 545 ：デフォルトの名無しさん：2024/05/07(火) 21:41:43.61 ID:nLVZhmwB.net
- 言語はQ# / QuTiP /Qiskitなどがあるようだ
QuTiPはpythonの延長で使えるらしい
- 546 ：デフォルトの名無しさん：2024/05/08(水) 04:41:16.80 ID:ecR8cuQ+.net
- プリズム通してみたらexplicitだった
- 547 ：デフォルトの名無しさん：2024/05/09(木) 12:42:26.75 ID:zANEcPys.net
- 物質は相互作用で理解する
- 548 ：デフォルトの名無しさん：2024/05/09(木) 15:28:33.54 ID:5LaPb0No.net
- MRI
- 549 ：デフォルトの名無しさん：2024/05/11(土) 12:02:44.39 ID:ODzWPrnK.net
- ポエムを・・もっとポエムを・・
- 550 ：デフォルトの名無しさん：2024/05/11(土) 12:43:19.46 ID:MLjUJJJu.net
- 私の前に道はない 私の後ろに道はできる 童貞
- 551 ：デフォルトの名無しさん：2024/06/12(水) 21:53:34.83 ID:2UzQR7Po.net
- ハッシュテーブル＋補集合フラグ＝無限集合？
https://qiita.com/adaiimps/items/091aab66b4fe5a5e3287
- 552 ：デフォルトの名無しさん：2024/06/13(木) 12:43:58.01 ID:bNO6gWVR.net
- https://i.imgur.com/TO3ePgU.jpg
もうすぐ終了です
- 553 ：デフォルトの名無しさん：2024/06/13(木) 13:13:57.73 ID:8J2MNSgx.net
- >>552
ばら撒き凄いな
- 554 ：デフォルトの名無しさん：2024/06/14(金) 19:32:02.03 ID:J8nW31cj.net
- 乗除算の近似解を加減算のみで求める技術
https://qiita.com/adaiimps/items/7c1114bd955ed2d239cc
- 555 ：デフォルトの名無しさん：2024/06/15(土) 11:11:44.45 ID:I+z8iAZu.net
- 三角関数でも同じ事が出来る
116 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200