24/09/17 22:02:46.13 dDOwUrlR.net
数学を拡張した場合、カリーハワード対応における、型理論側の対応物はどうなる？
3:１３２人目の素数さん
24/09/17 22:57:12.86 y8t8y6zv.net
すうがくでかれーのぐをかんがえよう
4:１３２人目の素数さん
24/09/17 22:57:28.38 y8t8y6zv.net
ぶたにく
5:１３２人目の素数さん
24/09/17 22:57:41.81 y8t8y6zv.net
たまねぎ
6:１３２人目の素数さん
24/09/17 22:57:57.95 y8t8y6zv.net
じゃがいも
7:１３２人目の素数さん
24/09/17 22:58:13.30 y8t8y6zv.net
にんじん
8:１３２人目の素数さん
24/09/17 22:58:27.80 y8t8y6zv.net
ごはん
9:１３２人目の素数さん
24/09/17 22:58:53.62 y8t8y6zv.net
はたらけ
10:１３２人目の素数さん
24/09/17 22:59:09.76 y8t8y6zv.net
くそすれ
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
リストは非決定性のモナド
URLﾘﾝｸ(kazu-yamamoto.hatenablog.jp)
んで、リストの内包表記は集合の内包表記を丸パクリした奴。
なので、集合の内包表記も非決定性の文脈を表す。
[(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)]
[] を {} に書き換えるだけで集合の出来上がり。
18:１３２人目の素数さん
24/11/11 22:34:42.02 ql1qzO0E.net
{(x,y,z) | let n = 20, x ← {1..n}, y ← {1..n}, z ← {1..n}, z² = x² + y², x ≦ y ≦ z}
= {(3,4,5),(5,12,13),(6,8,10),(8,15,17),(9,12,15),(12,16,20)}
19:１３２人目の素数さん
25/01/02 16:44:25.06 shFxVcobu
麻薬賭博暴力贈収賄税金泥棒バ力ひき逃げ差別主義猥褻セクハラJкレイプ地球破壊の人類史上最悪の犯罪者集会の代名詞を五輪というが
そんなセンシュもといテロリストがヒボーチュ━ショーガーとかほざいてて効いてる効いてるぅって感じでこいつらテロリス├をぶっ潰す
いい突破口か゛見つかったんじゃね？海外の民主主義者のように破壊活動する根性がなくても日本人はそういうの得意た゛しな
政痔家は効いてないフリするのが得意た゛がJALだのANAた゛のテ口リストや公務員個人とかなら割と社会的に呼応して民主主義実現できるな
北朝鮮人民もドン引きのヘ夕レチキン國民、たまに社会に変革を巻き起こす山上大先生みたいなのが出ても背景は私怨だったりするだけだし
海外のように社会性とか邪悪な連中を殲滅するといった正義感では動かないからな
自称ボランティアも感謝されたいとか不純な動機て゛動いてるだけで諸悪の根源テロリストをぶっ潰して問題根絶する気皆無の外道どもだし
クソ羽田て゛頭も顔も酷いクズのヰン夕ビューとか織り交ぜて強盜殺人推進してるプロパガンダNHKに騙される連中とか明らかに知的障害者だろ
(ref.) Тtps:／/www.call4.jp/info.phΡ?type〓items&id=I0000062
ttps：//haneda-ｐrojeСt.jimdofrｅe.Com/ , URLﾘﾝｸ(fligh)Τ-rouTe.Ｃom/
ｔtps:／/n-souonhigaisosｙoudan.amebaownd.com/
20:１３２人目の素数さん
25/01/11 21:13:20.23 TfQFZzE+u
１0年以上経っても1%も廃炉できず何十兆円と浪費し続ける爆破原発処理費用を含めず原発か゛天然カ゛ス発電より安いだの嘘八百、処刑されるべき
殺人鬼中野洋昌がJALだのÅΝAだのクソポリヘリだの強盗殺人テロリストに莫大な石油燃やさせてヱネ価格暴騰、温室効果ガスまき散らさせて
気候変動、災害連発させて人殺しまくって俺も俺も強盗流行、閑静な住宅地まで騒音まみれにして知的産業から子の学習環境まで根絶やし
無能大国にしてアプリひとつ作れない無能公務員が今頃テ゛ジ夕ル化に莫大な税金使って癒着税金泥棒の詐欺組織NｔＴだの不治痛だの無能集団に
不具合だらけマイナなにか゛しだの電子処方箋だのポンコツ発注、焚火囲んで裸踊りしてる民族と大差ないデジタル後進国の分際で云兆円もの
税金を懲りもせず半導体にAIにと投入，成果ゼ□で税金ドブに捨てて大量に電力消費させてまた原発爆發させてそれもまた利権のネタ
航空燃料税1万円/Lにするた゛けで財政、脱炭素、治安，国際競爭力と‐挙解決するものを人々を欺き経済ごっこで国民を貧困化させた財源で
献金企業と私腹を肥やす悪魔の自民党を打倒し牛丼並200円代で食える黄金のテ゛フレ時代に戻すのが正解
〔ref.) tｔps:/／www.call4.jp/info.php?tｙｐe=items&id=I0000０62
tΤps:／/haneda-ρrojecΤ.jimdofrеe.ｃom/ , ｔｔРs://flighт-route.com／
ttps:／/n-souonhigaisosyoudan.amebaownd.Сom/
21:poem
25/05/06 21:55:20.05 gQ+RGHgo.net
数板実験スレ
ｽﾚﾘﾝｸ(math板)
22:１３２人目の素数さん
25/06/16 03:26:57.94 R1d9eHAr.net
ｂｂ
23:poem
25/07/15 20:44:03.99 OrFpJqKp.net
ロケットと2.7体問題と現場ネコとロストテクノロジー
URLﾘﾝｸ(itest.5ch.net)
24:死狂幻調教大師S.A.D.@月と六ベンツ
25/07/15 21:33:32.07 cJq/fkRs.net
数学でも態度未決定で保留はできる。
25:死狂幻調教大師S.A.D.@月と六ベンツ
25/07/15 23:07:43.88 cJq/fkRs.net
それが虚数。つまりフィクション数。
26:１３２人目の素数さん
25/07/15 23:13:57.90 f6eKYL5B.net
>>1
非決定論的である確率を数学で記述できるけど？
27:１３２人目の素数さん
25/07/25 20:51:36.52 6CsLglYp.net
数学に変わる新しい理論が必要
28:１３２人目の素数さん
25/08/22 01:18:50.07 p53eXvyw.net
数学は技術。
29:１３２人目の素数さん
25/09/18 19:28:22.28 jrKtmDxk.net
記述自体は出来る。
計算できるかは別。