[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
65: デフォルトの名無しさん [] 2024/03/23(土) 04:20:19.88 ID:rvJB/m9a CやPYTONはスクリプト言語だから単純なことしかできない http://mevius.5ch.net/test/read.cgi/tech/1710585705/65
127: デフォルトの名無しさん [sage] 2024/03/25(月) 22:22:52.88 ID:OU4hWxvG ギャンブルなら敗者が金を振り込めば秩序が戻るのだが 金を振り込んでしまう人がここにはいないので http://mevius.5ch.net/test/read.cgi/tech/1710585705/127
216: デフォルトの名無しさん [sage] 2024/04/04(木) 21:47:23.88 ID:UeC30a5N マトラボが解決してるんでないの？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/216
318: デフォルトの名無しさん [] 2024/04/15(月) 18:41:51.88 ID:NsRnPyj0 デデキント切断や完備化などが出てきても 有理数を既知として実数体を構成しているということが理解できない これでは数学書をいくら読んでもザルで水をすくうようなもの http://mevius.5ch.net/test/read.cgi/tech/1710585705/318
404: デフォルトの名無しさん [sage] 2024/04/17(水) 10:59:08.88 ID:MC+f1reS >>403 へー、勉強になるわ 今回のはhomogeneousにしてn=2の場合だね http://mevius.5ch.net/test/read.cgi/tech/1710585705/404
529: デフォルトの名無しさん [] 2024/05/06(月) 11:46:55.88 ID:gOZqaVA4 数は何かのエネルギー場らしい http://mevius.5ch.net/test/read.cgi/tech/1710585705/529
577: デフォルトの名無しさん [] 2024/11/03(日) 20:24:44.88 ID:H5/A1U4T 俺も詳しくはないが、具体的に何を聞きたい？ やっぱりモナド？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/577
788: デフォルトの名無しさん [sage] 2024/12/29(日) 17:37:12.88 ID:1/gaPmQa 命題⇔型 理論⇔ライブラリ http://mevius.5ch.net/test/read.cgi/tech/1710585705/788
807: デフォルトの名無しさん [sage] 2025/01/13(月) 05:24:15.88 ID:elRKgauc 型 並行性 最適化 この3つだよ 今求められてんのは http://mevius.5ch.net/test/read.cgi/tech/1710585705/807
836: デフォルトの名無しさん [sage] 2025/01/15(水) 00:39:55.88 ID:v8xz0BVe `f1 = Foo 1`なら、`f1`の型は`Foo 1` 基本的にはこれでいい `Foo 1`は `{n: Nat} Foo n`のサブタイプ `f1`を`Bar :: t -> s`に渡せるのは、`Foo 1`を`t`に変換する規則が存在するとき 型検査はそれをコンパイラがチェックすればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/836
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s