[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
11: デフォルトの名無しさん [] 2024/03/17(日) 19:48:59.04 ID:HYzzoyFI 証明支援系を使うことで未知の証明ができたり、数学の問題がよくわかったりするわけじゃなくて、 すでに証明できてるものを、PかつQを表す型はこうで～ みたいな書き換えをやるだけだからな http://mevius.5ch.net/test/read.cgi/tech/1710585705/11
50: デフォルトの名無しさん [] 2024/03/20(水) 16:42:40.04 ID:ZN9vgvDp >>33 すでに解けてる問題を特定の処理系の言語に書き直すのが一大プロジェクトというのがくだらないと思う http://mevius.5ch.net/test/read.cgi/tech/1710585705/50
167: デフォルトの名無しさん [sage] 2024/03/31(日) 18:06:40.04 ID:954vZkOe ただし>>160 は支持するぞ 公理系を何にするかは議論があるだろうが推論パズルゲームってところは正しい http://mevius.5ch.net/test/read.cgi/tech/1710585705/167
179: デフォルトの名無しさん [] 2024/04/01(月) 07:25:14.04 ID:pGaaOwbp べき集合の濃度がもとの集合よりも真に大きいことを対角線論法で示すプログラムを書いて下さい http://mevius.5ch.net/test/read.cgi/tech/1710585705/179
320: デフォルトの名無しさん [sage] 2024/04/15(月) 19:01:28.04 ID:hHvO3P6A 存在論を厳密にやり過ぎるとクソどうでもいい心理学の信者が増える http://mevius.5ch.net/test/read.cgi/tech/1710585705/320
323: デフォルトの名無しさん [] 2024/04/15(月) 19:41:17.04 ID:NsRnPyj0 Rの加法、乗法を (A, B) + (A', B') := (A + A', B + B') (A, B) (A', B') := (A+ A'+, B B') (if 0∈A, 0∈A') := (B B'-, A+ A') (if 0∈A, 0∉A') := (B- B', A, A'+) (if 0∉A, 0∈A') := (A, A', B- B'-) (if 0∉A, 0∉A') で定める（境界を含む/含まないなどで不具合があれば適当に修正してくれ） Rは体になる（(0)が極大イデアルであることを示せばいい） Rの半順序を (A, B) ≤ (A', B') :⇔ a∈A, b'∈B' ⇒ a < b で定める ≤は全順序になり、Rは順序体になる http://mevius.5ch.net/test/read.cgi/tech/1710585705/323
483: デフォルトの名無しさん [] 2024/04/28(日) 11:35:47.04 ID:QLrqknwf ハスケルはモナドで副作用を扱うって本当？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/483
542: デフォルトの名無しさん [sage] 2024/05/07(火) 20:40:15.04 ID:nLVZhmwB 調べたら中国のgeminiとかいう量子コンピュータが市販(価格は100万,500万,700万の3種類)されてるようだが OSがどうなってるのかとかよくわからんかった プログラミング言語も専用のがあるんかな 夢がひろがりんぐ http://mevius.5ch.net/test/read.cgi/tech/1710585705/542
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s