[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)

「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

2: デフォルトの名無しさん [sage] 2024/03/16(土) 20:29:40.05 ID:TBzj9DHS >>1 証明を記述するための言語がある。CoqとかAgdaとか あと単発質問はスレを立てるまでもない質問スレでどうぞ http://mevius.5ch.net/test/read.cgi/tech/1710585705/2

31: デフォルトの名無しさん [] 2024/03/19(火) 15:02:06.03 ID:YRVQB5Qs >2 の紹介しているCoqとか、純粋関数型言語HaskellもPCで動く数学って感じではあるけども、そもそもメモリが有限なので連続を表現できない。 どんなに小さい数を表現できても有限である以上は離散的なのよねん。 離散数学の範囲ならHaskell良いよ。 子供向けだけど、Viscuit(ﾋﾞｽｹｯﾄ)は写像というか変換のみで言語作ってる。 （ビスケットの中の人曰く「書き換え型言語」） http://mevius.5ch.net/test/read.cgi/tech/1710585705/31

270: デフォルトの名無しさん [] 2024/04/14(日) 09:53:29.94 ID:7cEDLG0F >>267 >>2 http://mevius.5ch.net/test/read.cgi/tech/1710585705/270

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.044s