[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

65: 2024/03/23(土)04:20:19.88 ID:rvJB/m9a(1) AAS
CやPYTONはスクリプト言語だから単純なことしかできない

---

127: 2024/03/25(月)22:22:52.88 ID:OU4hWxvG(2/2) AAS
ギャンブルなら敗者が金を振り込めば秩序が戻るのだが
金を振り込んでしまう人がここにはいないので

---

216: 2024/04/04(木)21:47:23.88 ID:UeC30a5N(1) AAS
マトラボが解決してるんでないの？

---

318(1): 2024/04/15(月)18:41:51.88 ID:NsRnPyj0(1/6) AAS
デデキント切断や完備化などが出てきても
有理数を既知として実数体を構成しているということが理解できない
これでは数学書をいくら読んでもザルで水をすくうようなもの

---

404: 2024/04/17(水)10:59:08.88 ID:MC+f1reS(1/2) AAS
>>403
へー、勉強になるわ
今回のはhomogeneousにしてn=2の場合だね

---

529(1): 2024/05/06(月)11:46:55.88 ID:gOZqaVA4(2/2) AAS
数は何かのエネルギー場らしい

---

577: 2024/11/03(日)20:24:44.88 ID:H5/A1U4T(2/4) AAS
俺も詳しくはないが、具体的に何を聞きたい？
やっぱりモナド？

---

788: 2024/12/29(日)17:37:12.88 ID:1/gaPmQa(1/2) AAS
命題⇔型
理論⇔ライブラリ

---

807: 01/13(月)05:24:15.88 ID:elRKgauc(1) AAS
型
並行性
最適化

この3つだよ
今求められてんのは

---

836: 01/15(水)00:39:55.88 ID:v8xz0BVe(2/2) AAS
`f1 = Foo 1`なら、`f1`の型は`Foo 1`
基本的にはこれでいい
`Foo 1`は `{n: Nat} Foo n`のサブタイプ
`f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`を`t`に変換する規則が存在するとき
型検査はそれをコンパイラがチェックすればいい

---

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

---

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

---

ぬこの手 ぬこTOP 0.029s