数学は決定論だから非決定論的世界を記述できないat MATH数学は決定論だから非決定論的世界を記述できない - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト11:１３２人目の素数さん 24/09/17 23:15:49.46 y8t8y6zv.net ばたふらいえふぇくと 12:１３２人目の素数さん 24/09/28 09:39:30.29 bKBH8raC.net >>1,2 くだらん 13:１３２人目の素数さん 24/10/15 21:18:15.16 Ls0jZlFM.net >>1 確率論ぇ… 14:１３２人目の素数さん 24/10/16 15:45:48.99 QRlDARl1.net >>2 様相論理かもしれないべきやもしれない 15:１３２人目の素数さん 24/10/17 21:03:31.28 MSzJTze1.net >>1 非決定論的世界を決定せえよ 16:１３２人目の素数さん 24/10/19 09:22:25.35 8pTxQkot.net イッチさんの、数学は決定論だからヤヴァいとの 件大正解、てゆうか 方程式 x=x を解くとxは全ての実数だ。 さて、 │x│= x を代数的に解けるかだ。 直感・霊感的には瞬時に│x│= xの解は、 x≧0なんだけど、・・・・ さて、代数的に解けるのだろうか？ 霊感・直感で解くのは地球人的にはヤバいよな 17:１３２人目の素数さん 24/11/11 22:30:43.17 ql1qzO0E.net >>1 リストは非決定性のモナド https://kazu-yamamoto.hatenablog.jp/entry/20100527/1274925294 んで、リストの内包表記は集合の内包表記を丸パクリした奴。 なので、集合の内包表記も非決定性の文脈を表す。 [(x,y,z) | let n = 20, x <- [1..n], y <- [1..n], z <- [1..n], z^2 == x^2 + y^2, x <= y && y <= z] = [(3,4,5),(5,12,13),(6,8,10),(8,15,17),(9,12,15),(12,16,20)] [] を {} に書き換えるだけで集合の出来上がり。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch