[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
353: デフォルトの名無しさん [] 2024/04/16(火) 21:09:06.06 ID:UT47qync(2/9) AAS
メークインの
メッカ
354: デフォルトの名無しさん [] 2024/04/16(火) 21:11:20.78 ID:UT47qync(3/9) AAS
しねええええっ！！
355: デフォルトの名無しさん [sage] 2024/04/16(火) 21:12:18.68 ID:odkgr9I4(1) AAS
カリー・ハワードって別にそれで何かブレイクスルーが起こったわけでもない
無意味に持ち上げすぎだろ
356: デフォルトの名無しさん [] 2024/04/16(火) 21:12:56.63 ID:UT47qync(4/9) AAS
はーか
357: デフォルトの名無しさん [] 2024/04/16(火) 21:15:22.83 ID:hd0EAKHj(1) AAS
Pachinkoですった借金
積もりに積もって、、もどーる
358: デフォルトの名無しさん [] 2024/04/16(火) 21:16:45.23 ID:UT47qync(5/9) AAS
しねええええっ！！！
359: デフォルトの名無しさん [] 2024/04/16(火) 21:17:45.68 ID:DMBaPuV2(1) AAS
かわいそうに・・・
上下前次1-新書関写板覧索設栞歴
あと 643 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s