数学は決定論だから非決定論的世界を記述できない (28ﾚｽ)
数学は決定論だから非決定論的世界を記述できない http://rio2016.5ch.net/test/read.cgi/math/1726576549/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2024/09/17(火) 21:35:49.90 ID:nG823ATL 数学に変わる新しい理論が必要 http://rio2016.5ch.net/test/read.cgi/math/1726576549/1
2: １３２人目の素数さん [] 2024/09/17(火) 22:02:46.13 ID:dDOwUrlR 数学を拡張した場合、カリーハワード対応における、型理論側の対応物はどうなる？ http://rio2016.5ch.net/test/read.cgi/math/1726576549/2
3: １３２人目の素数さん [sage] 2024/09/17(火) 22:57:12.86 ID:y8t8y6zv すうがくでかれーのぐをかんがえよう http://rio2016.5ch.net/test/read.cgi/math/1726576549/3
4: １３２人目の素数さん [sage] 2024/09/17(火) 22:57:28.38 ID:y8t8y6zv ぶたにく http://rio2016.5ch.net/test/read.cgi/math/1726576549/4
5: １３２人目の素数さん [sage] 2024/09/17(火) 22:57:41.81 ID:y8t8y6zv たまねぎ http://rio2016.5ch.net/test/read.cgi/math/1726576549/5
6: １３２人目の素数さん [sage] 2024/09/17(火) 22:57:57.95 ID:y8t8y6zv じゃがいも http://rio2016.5ch.net/test/read.cgi/math/1726576549/6
7: １３２人目の素数さん [sage] 2024/09/17(火) 22:58:13.30 ID:y8t8y6zv にんじん http://rio2016.5ch.net/test/read.cgi/math/1726576549/7
8: １３２人目の素数さん [sage] 2024/09/17(火) 22:58:27.80 ID:y8t8y6zv ごはん http://rio2016.5ch.net/test/read.cgi/math/1726576549/8
9: １３２人目の素数さん [sage] 2024/09/17(火) 22:58:53.62 ID:y8t8y6zv はたらけ http://rio2016.5ch.net/test/read.cgi/math/1726576549/9
10: １３２人目の素数さん [sage] 2024/09/17(火) 22:59:09.76 ID:y8t8y6zv くそすれ http://rio2016.5ch.net/test/read.cgi/math/1726576549/10
11: １３２人目の素数さん [sage] 2024/09/17(火) 23:15:49.46 ID:y8t8y6zv ばたふらいえふぇくと http://rio2016.5ch.net/test/read.cgi/math/1726576549/11
12: １３２人目の素数さん [sage] 2024/09/28(土) 09:39:30.29 ID:bKBH8raC >>1,2 くだらん http://rio2016.5ch.net/test/read.cgi/math/1726576549/12
13: １３２人目の素数さん [] 2024/10/15(火) 21:18:15.16 ID:Ls0jZlFM >>1 確率論ぇ… http://rio2016.5ch.net/test/read.cgi/math/1726576549/13
14: １３２人目の素数さん [sage] 2024/10/16(水) 15:45:48.99 ID:QRlDARl1 >>2 様相論理かもしれないべきやもしれない http://rio2016.5ch.net/test/read.cgi/math/1726576549/14
15: １３２人目の素数さん [] 2024/10/17(木) 21:03:31.28 ID:MSzJTze1 >>1 非決定論的世界を決定せえよ http://rio2016.5ch.net/test/read.cgi/math/1726576549/15
16: １３２人目の素数さん [] 2024/10/19(土) 09:22:25.35 ID:8pTxQkot イッチさんの、数学は決定論だからヤヴァいとの 件大正解、てゆうか 方程式 x=x を解くとxは全ての実数だ。 さて、 │x│= x を代数的に解けるかだ。 直感・霊感的には瞬時に│x│= xの解は、 x≧0なんだけど、・・・・ さて、代数的に解けるのだろうか？ 霊感・直感で解くのは地球人的にはヤバいよな http://rio2016.5ch.net/test/read.cgi/math/1726576549/16
17: １３２人目の素数さん [] 2024/11/11(月) 22:30:43.17 ID:ql1qzO0E >>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)] [] を {} に書き換えるだけで集合の出来上がり。 http://rio2016.5ch.net/test/read.cgi/math/1726576549/17
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 11 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.250s*