[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
55: 2024/03/20(水)23:28:22.46 ID:ea1o2Ub5(4/4) AAS
わざと馬鹿になったのではないが
数学の範囲内の定理を厳密に証明しても、内か外かの判断は厳密にならないので
「プログラミングならなんでも数学」のような馬鹿な意見も厳密に全否定できないんだよな
86(1): 2024/03/23(土)22:32:25.46 ID:/PCiT6cf(1/2) AAS
>>84
根本的な勘違いをしているようなのでアドバイス
イテレータは抽象的な概念に過ぎないのでそこに遅延評価などという話は一切出てこない
イテレータの実装の一つに遅延評価の有無を持ち出すケースがあるようだがそんな特殊などうでもいい話をしても意味がない
150: 2024/03/29(金)07:35:35.46 ID:wkwvmDXj(1) AAS
>>149
月刊ムーおすすめ
225: 2024/04/08(月)13:34:46.46 ID:26k+W4+v(1) AAS
イマジンだけに
272: 2024/04/14(日)12:10:53.46 ID:ArvRyIgO(1) AAS
繰り返すこのアルゴリズム♪
339(1): 2024/04/16(火)15:34:00.46 ID:ffps7/Wl(1) AAS
いずれ量子コンピュータの時代になるから
コンピュータ=2進数のイメージはすたれていくだろうな
345(1): 2024/04/16(火)17:35:24.46 ID:Ng40HiX6(4/5) AAS
カリー・ハワード対応 (Curry-Howard correspondence) は、数学と計算理論の分野で重要な関係性を表す概念です。この対応は、論理学と型理論の間の深い関連を示しています。
カリー・ハワード対応は、次のような三つの分野間の関係を表しています。
1. 論理学: 論理的な命題や証明体系
2. 型理論: プログラミング言語や計算の型システム
3. 圏論: 数学的構造を研究する分野
これらの分野の対応関係は次のようになります。
1. 論理学の命題や証明は、型理論の型とプログラムに対応する。
2. 論理学の証明の形式は、型理論のプログラムの構造に対応する。
3. 圏論における対象や射は、型理論における型や関数と対応する。
この対応関係は、論理学の証明とプログラミング言語のプログラムの間に類似性があり、その間の数学的な形式的関係を示しています。これは、プログラムの正しさや証明の正当性を検証するための形式手法に関連しており、特に依存型や型理論に基づく証明支援系で重要な役割を果たしています。
414: 2024/04/22(月)20:50:40.46 ID:o0SSvQPa(1) AAS
光るものすべて金ならず
443: 2024/04/25(木)05:45:14.46 ID:zFonvm9V(1/2) AAS
群青色のふとんカバー
ルートを見るより田中社長
495: 2024/05/03(金)13:30:27.46 ID:x0ve7rFX(2/4) AAS
大きいモナドはお父さん 小さい緋鯉はコモナドたち 面白そうに双対してる
550: 2024/05/11(土)12:43:19.46 ID:MLjUJJJu(1) AAS
私の前に道はない 私の後ろに道はできる 童貞
616: 2024/11/13(水)16:19:20.46 ID:uVNdAEYi(1) AAS
子どもたちがママや先生に「なんで？どうして？」と質問攻めする
661(2): 2024/11/18(月)12:24:33.46 ID:JmFxaZ5G(1) AAS
>>659
定義を否定するのはさすがに数学者の姿勢として間違っているかと。
数学なんて定義が違えば結果が変わるんだから、定義すらできないなら議論する以前の状態。
擬似問題だらけになって議論なんてできないわな。
759: 2024/12/12(木)05:18:25.46 ID:2xpeWo94(1) AAS
こいつ数学板に連日粘着してるキチガイな
818: 01/13(月)13:02:05.46 ID:DTY38xVU(1) AAS
>>816
そして残りの10個はただのアンチパターン
857(1): 01/16(木)22:31:22.46 ID:IceLMl7e(1/2) AAS
代数的データ型やパラメータ多相を使えばプログラムのかなり多くの性質をコンパイラが保証できるのに、わざわざ型検査なしで注意してコード書くとか馬鹿のすること
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s