[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
328: デフォルトの名無しさん [sage] 2024/04/15(月) 20:04:25.08 ID:eajKaNbV(3/3) AAS
>>320>存在論
そう言うのが寄り付かないのが現代数学の良い所の1つかも
329: デフォルトの名無しさん [sage] 2024/04/15(月) 20:44:59.91 ID:scEUff9F(11/17) AAS
>>319319(1): デフォルトの名無しさん [sage] 2024/04/15(月) 18:47:48.86 ID:Qlt6SMAG(1) AAS
横からだけど>>317は
理系の大学数学(所謂現代数学)における論理展開の流れや
存在の証明とされるパターンが分かってないから、かなりの独学なのかな
始めの内は簡単な教科書を(定理部分だけ)拾い読みするんじゃなくて
書いてある文章や定義、証明を精読しないと論理展開が抜け落ちて話が通じないよ
>>318が書いてくれたか、任せた
自己紹介乙
330: デフォルトの名無しさん [sage] 2024/04/15(月) 20:45:46.33 ID:scEUff9F(12/17) AAS
>>327327(1): デフォルトの名無しさん [sage] 2024/04/15(月) 20:01:42.17 ID:eajKaNbV(2/3) AAS
>>301
>例えば実数は体、順序構造、連続性をもつものとして定義する
これは数論とか超準解析とか特定の用途でご都合定義や対比で採用(完備(非)アルキメデス順序体)する位で
well definedかどうかの議論は本来は必要だし>>302のツッコミが入るのは当然
意味不明
331: デフォルトの名無しさん [sage] 2024/04/15(月) 20:55:50.13 ID:scEUff9F(13/17) AAS
>>325ご苦労さん、実数の公理があるだけなんで証明するものではない
332: デフォルトの名無しさん [] 2024/04/15(月) 21:29:20.68 ID:vvdCRtkm(1) AAS
アホすぎる
333: デフォルトの名無しさん [sage] 2024/04/15(月) 21:32:26.82 ID:scEUff9F(14/17) AAS
自己紹介乙
334: デフォルトの名無しさん [] 2024/04/15(月) 21:49:55.52 ID:InxNy96J(1) AAS
ポエム連投しか能が無いのに、かっこつけで数学の話してみたら秒でボロが出るザコ（笑）
335: デフォルトの名無しさん [sage] 2024/04/15(月) 21:53:20.15 ID:scEUff9F(15/17) AAS
自己紹介乙
336: デフォルトの名無しさん [sage] 2024/04/15(月) 21:55:11.91 ID:scEUff9F(16/17) AAS
頭ついてるのかｗ
337(1): デフォルトの名無しさん [sage] 2024/04/15(月) 21:57:07.42 ID:scEUff9F(17/17) AAS
馬鹿といわれなきゃ分からない馬鹿
338: デフォルトの名無しさん [] 2024/04/16(火) 00:50:06.56 ID:aRJ0OCMo(1) AAS
ま、何だな。近年の計算機ってさ内部2進数か稀に十進数
であり、絶対に絶対にゼッタイに内部３進数はないよな
で、本題。何で、地球の計算機ってさ
-27の1/3乗はエラーにならず-3って答え出せるの❓
ちなみに、-27の0.33333333乗はダメだった。
1/3と0.33333333333…5 の差は如何なるεより小さいのか❓
地球人って数学もコンピュータもどっちも、ズルしてるな🥳
339(1): デフォルトの名無しさん [sage] 2024/04/16(火) 15:34:00.46 ID:ffps7/Wl(1) AAS
いずれ量子コンピュータの時代になるから
コンピュータ=2進数のイメージはすたれていくだろうな
340(7): デフォルトの名無しさん [sage] 2024/04/16(火) 16:09:15.10 ID:X3z51ZSN(1) AAS
>>337,339
そんなことより、これを大学数学初年度の回答レベルで解いてみてよ
画像ﾘﾝｸ
341: デフォルトの名無しさん [sage] 2024/04/16(火) 16:13:56.69 ID:Ng40HiX6(1/5) AAS
>>340
スレタイ読めよ
342: デフォルトの名無しさん [sage] 2024/04/16(火) 16:31:40.11 ID:Ng40HiX6(2/5) AAS
カリー・ハワード同型対応
343: デフォルトの名無しさん [] 2024/04/16(火) 17:31:21.11 ID:gwwVz7LD(1) AAS
>>340
明らかに成り立たないし、そもそもnが定義されていなかったり問題として成り立ってない
344: デフォルトの名無しさん [sage] 2024/04/16(火) 17:33:24.91 ID:Ng40HiX6(3/5) AAS
Curry-Howard Correspondence
外部ﾘﾝｸ[pdf]:web2.qatar.cmu.edu
345(1): デフォルトの名無しさん [sage] 2024/04/16(火) 17:35:24.46 ID:Ng40HiX6(4/5) AAS
カリー・ハワード対応 (Curry-Howard correspondence) は、数学と計算理論の分野で重要な関係性を表す概念です。この対応は、論理学と型理論の間の深い関連を示しています。
カリー・ハワード対応は、次のような三つの分野間の関係を表しています。
1. 論理学: 論理的な命題や証明体系
2. 型理論: プログラミング言語や計算の型システム
3. 圏論: 数学的構造を研究する分野
これらの分野の対応関係は次のようになります。
1. 論理学の命題や証明は、型理論の型とプログラムに対応する。
2. 論理学の証明の形式は、型理論のプログラムの構造に対応する。
3. 圏論における対象や射は、型理論における型や関数と対応する。
この対応関係は、論理学の証明とプログラミング言語のプログラムの間に類似性があり、その間の数学的な形式的関係を示しています。これは、プログラムの正しさや証明の正当性を検証するための形式手法に関連しており、特に依存型や型理論に基づく証明支援系で重要な役割を果たしています。
346(1): デフォルトの名無しさん [sage] 2024/04/16(火) 18:01:37.43 ID:fFCD5orj(1/2) AAS
n乗根のアルゴリズムは選択公理みたいに解の集合から一つ選択するんだよね
ここで空集合と空でない集合という、なんというか
反なめらか勢力？
347: デフォルトの名無しさん [sage] 2024/04/16(火) 18:54:49.14 ID:usMdjojl(1) AAS
>>345,346
そんなことより>>340の題意は伝わってるようだね
成立してるよ
348: デフォルトの名無しさん [] 2024/04/16(火) 21:01:49.49 ID:ce0c+Wns(1) AAS
ばーか
349: デフォルトの名無しさん [] 2024/04/16(火) 21:03:04.14 ID:A1Drxn9H(1) AAS
しねぇ！！！
350: デフォルトの名無しさん [] 2024/04/16(火) 21:05:37.59 ID:bJGpAOxM(1) AAS
ポエム、死すべし
351: デフォルトの名無しさん [] 2024/04/16(火) 21:06:32.75 ID:Qd7fb1ey(1) AAS
賢こぶるなカスが
352: デフォルトの名無しさん [] 2024/04/16(火) 21:08:00.17 ID:UT47qync(1/9) AAS
きゅうりを育てる
プロジェクトX
上下前次1-新書関写板覧索設栞歴
あと 650 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s