[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
335: デフォルトの名無しさん [sage] 2024/04/15(月) 21:53:20.15 ID:scEUff9F 自己紹介乙 http://mevius.5ch.net/test/read.cgi/tech/1710585705/335
336: デフォルトの名無しさん [sage] 2024/04/15(月) 21:55:11.91 ID:scEUff9F 頭ついてるのかｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/336
337: デフォルトの名無しさん [sage] 2024/04/15(月) 21:57:07.42 ID:scEUff9F 馬鹿といわれなきゃ分からない馬鹿 http://mevius.5ch.net/test/read.cgi/tech/1710585705/337
338: デフォルトの名無しさん [] 2024/04/16(火) 00:50:06.56 ID:aRJ0OCMo ま、何だな。近年の計算機ってさ内部2進数か稀に十進数 であり、絶対に絶対にゼッタイに内部３進数はないよな で、本題。何で、地球の計算機ってさ -27の1/3乗はエラーにならず-3って答え出せるの❓ ちなみに、-27の0.33333333乗はダメだった。 1/3と0.33333333333…5 の差は如何なるεより小さいのか❓ 地球人って数学もコンピュータもどっちも、ズルしてるな🥳 http://mevius.5ch.net/test/read.cgi/tech/1710585705/338
339: デフォルトの名無しさん [sage] 2024/04/16(火) 15:34:00.46 ID:ffps7/Wl いずれ量子コンピュータの時代になるから コンピュータ=2進数のイメージはすたれていくだろうな http://mevius.5ch.net/test/read.cgi/tech/1710585705/339
340: デフォルトの名無しさん [sage] 2024/04/16(火) 16:09:15.10 ID:X3z51ZSN >>337,339 そんなことより、これを大学数学初年度の回答レベルで解いてみてよ https://i.ytimg.com/vi/gt5VVmztpak/hqdefault.jpg http://mevius.5ch.net/test/read.cgi/tech/1710585705/340
341: デフォルトの名無しさん [sage] 2024/04/16(火) 16:13:56.69 ID:Ng40HiX6 >>340 スレタイ読めよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/341
342: デフォルトの名無しさん [sage] 2024/04/16(火) 16:31:40.11 ID:Ng40HiX6 カリー・ハワード同型対応 http://mevius.5ch.net/test/read.cgi/tech/1710585705/342
343: デフォルトの名無しさん [] 2024/04/16(火) 17:31:21.11 ID:gwwVz7LD >>340 明らかに成り立たないし、そもそもnが定義されていなかったり問題として成り立ってない http://mevius.5ch.net/test/read.cgi/tech/1710585705/343
344: デフォルトの名無しさん [sage] 2024/04/16(火) 17:33:24.91 ID:Ng40HiX6 Curry-Howard Correspondence https://web2.qatar.cmu.edu/cs/15317/lectures/04-curryhoward.pdf http://mevius.5ch.net/test/read.cgi/tech/1710585705/344
345: デフォルトの名無しさん [sage] 2024/04/16(火) 17:35:24.46 ID:Ng40HiX6 カリー・ハワード対応 (Curry-Howard correspondence) は、数学と計算理論の分野で重要な関係性を表す概念です。この対応は、論理学と型理論の間の深い関連を示しています。 カリー・ハワード対応は、次のような三つの分野間の関係を表しています。 1. 論理学: 論理的な命題や証明体系 2. 型理論: プログラミング言語や計算の型システム 3. 圏論: 数学的構造を研究する分野 これらの分野の対応関係は次のようになります。 1. 論理学の命題や証明は、型理論の型とプログラムに対応する。 2. 論理学の証明の形式は、型理論のプログラムの構造に対応する。 3. 圏論における対象や射は、型理論における型や関数と対応する。 この対応関係は、論理学の証明とプログラミング言語のプログラムの間に類似性があり、その間の数学的な形式的関係を示しています。これは、プログラムの正しさや証明の正当性を検証するための形式手法に関連しており、特に依存型や型理論に基づく証明支援系で重要な役割を果たしています。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/345
346: デフォルトの名無しさん [sage] 2024/04/16(火) 18:01:37.43 ID:fFCD5orj n乗根のアルゴリズムは選択公理みたいに解の集合から一つ選択するんだよね ここで空集合と空でない集合という、なんというか 反なめらか勢力？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/346
347: デフォルトの名無しさん [sage] 2024/04/16(火) 18:54:49.14 ID:usMdjojl >>345,346 そんなことより>>340の題意は伝わってるようだね 成立してるよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/347
348: デフォルトの名無しさん [] 2024/04/16(火) 21:01:49.49 ID:ce0c+Wns ばーか http://mevius.5ch.net/test/read.cgi/tech/1710585705/348
349: デフォルトの名無しさん [] 2024/04/16(火) 21:03:04.14 ID:A1Drxn9H しねぇ！！！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/349
350: デフォルトの名無しさん [] 2024/04/16(火) 21:05:37.59 ID:bJGpAOxM ポエム、死すべし http://mevius.5ch.net/test/read.cgi/tech/1710585705/350
351: デフォルトの名無しさん [] 2024/04/16(火) 21:06:32.75 ID:Qd7fb1ey 賢こぶるなカスが http://mevius.5ch.net/test/read.cgi/tech/1710585705/351
352: デフォルトの名無しさん [] 2024/04/16(火) 21:08:00.17 ID:UT47qync きゅうりを育てる プロジェクトX http://mevius.5ch.net/test/read.cgi/tech/1710585705/352
353: デフォルトの名無しさん [] 2024/04/16(火) 21:09:06.06 ID:UT47qync メークインの メッカ http://mevius.5ch.net/test/read.cgi/tech/1710585705/353
354: デフォルトの名無しさん [] 2024/04/16(火) 21:11:20.78 ID:UT47qync しねええええっ！！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/354
355: デフォルトの名無しさん [sage] 2024/04/16(火) 21:12:18.68 ID:odkgr9I4 カリー・ハワードって別にそれで何かブレイクスルーが起こったわけでもない 無意味に持ち上げすぎだろ http://mevius.5ch.net/test/read.cgi/tech/1710585705/355
356: デフォルトの名無しさん [] 2024/04/16(火) 21:12:56.63 ID:UT47qync はーか http://mevius.5ch.net/test/read.cgi/tech/1710585705/356
357: デフォルトの名無しさん [] 2024/04/16(火) 21:15:22.83 ID:hd0EAKHj Pachinkoですった借金 積もりに積もって、、もどーる http://mevius.5ch.net/test/read.cgi/tech/1710585705/357
358: デフォルトの名無しさん [] 2024/04/16(火) 21:16:45.23 ID:UT47qync しねええええっ！！！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/358
359: デフォルトの名無しさん [] 2024/04/16(火) 21:17:45.68 ID:DMBaPuV2 かわいそうに・・・ http://mevius.5ch.net/test/read.cgi/tech/1710585705/359
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 643 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.023s