[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
55: デフォルトの名無しさん [sage] 2024/03/20(水) 23:28:22.46 ID:ea1o2Ub5 わざと馬鹿になったのではないが 数学の範囲内の定理を厳密に証明しても、内か外かの判断は厳密にならないので 「プログラミングならなんでも数学」のような馬鹿な意見も厳密に全否定できないんだよな http://mevius.5ch.net/test/read.cgi/tech/1710585705/55
86: デフォルトの名無しさん [sage] 2024/03/23(土) 22:32:25.46 ID:/PCiT6cf >>84 根本的な勘違いをしているようなのでアドバイス イテレータは抽象的な概念に過ぎないのでそこに遅延評価などという話は一切出てこない イテレータの実装の一つに遅延評価の有無を持ち出すケースがあるようだがそんな特殊などうでもいい話をしても意味がない http://mevius.5ch.net/test/read.cgi/tech/1710585705/86
150: デフォルトの名無しさん [sage] 2024/03/29(金) 07:35:35.46 ID:wkwvmDXj >>149 月刊ムーおすすめ http://mevius.5ch.net/test/read.cgi/tech/1710585705/150
225: デフォルトの名無しさん [sage] 2024/04/08(月) 13:34:46.46 ID:26k+W4+v イマジンだけに http://mevius.5ch.net/test/read.cgi/tech/1710585705/225
272: デフォルトの名無しさん [] 2024/04/14(日) 12:10:53.46 ID:ArvRyIgO 繰り返すこのアルゴリズム♪ http://mevius.5ch.net/test/read.cgi/tech/1710585705/272
339: デフォルトの名無しさん [sage] 2024/04/16(火) 15:34:00.46 ID:ffps7/Wl いずれ量子コンピュータの時代になるから コンピュータ=2進数のイメージはすたれていくだろうな http://mevius.5ch.net/test/read.cgi/tech/1710585705/339
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
414: デフォルトの名無しさん [] 2024/04/22(月) 20:50:40.46 ID:o0SSvQPa 光るものすべて金ならず http://mevius.5ch.net/test/read.cgi/tech/1710585705/414
443: デフォルトの名無しさん [] 2024/04/25(木) 05:45:14.46 ID:zFonvm9V 群青色のふとんカバー ルートを見るより田中社長 http://mevius.5ch.net/test/read.cgi/tech/1710585705/443
495: デフォルトの名無しさん [sage] 2024/05/03(金) 13:30:27.46 ID:x0ve7rFX 大きいモナドはお父さん 小さい緋鯉はコモナドたち 面白そうに双対してる http://mevius.5ch.net/test/read.cgi/tech/1710585705/495
550: デフォルトの名無しさん [sage] 2024/05/11(土) 12:43:19.46 ID:MLjUJJJu 私の前に道はない 私の後ろに道はできる 童貞 http://mevius.5ch.net/test/read.cgi/tech/1710585705/550
616: デフォルトの名無しさん [sage] 2024/11/13(水) 16:19:20.46 ID:uVNdAEYi 子どもたちがママや先生に「なんで？どうして？」と質問攻めする http://mevius.5ch.net/test/read.cgi/tech/1710585705/616
661: デフォルトの名無しさん [sage] 2024/11/18(月) 12:24:33.46 ID:JmFxaZ5G >>659 定義を否定するのはさすがに数学者の姿勢として間違っているかと。 数学なんて定義が違えば結果が変わるんだから、定義すらできないなら議論する以前の状態。 擬似問題だらけになって議論なんてできないわな。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/661
759: デフォルトの名無しさん [sage] 2024/12/12(木) 05:18:25.46 ID:2xpeWo94 こいつ数学板に連日粘着してるキチガイな http://mevius.5ch.net/test/read.cgi/tech/1710585705/759
818: デフォルトの名無しさん [sage] 2025/01/13(月) 13:02:05.46 ID:DTY38xVU >>816 そして残りの10個はただのアンチパターン http://mevius.5ch.net/test/read.cgi/tech/1710585705/818
857: デフォルトの名無しさん [sage] 2025/01/16(木) 22:31:22.46 ID:IceLMl7e 代数的データ型やパラメータ多相を使えばプログラムのかなり多くの性質をコンパイラが保証できるのに、わざわざ型検査なしで注意してコード書くとか馬鹿のすること http://mevius.5ch.net/test/read.cgi/tech/1710585705/857
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s