[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
157: デフォルトの名無しさん [sage] 2024/03/31(日) 11:29:58.51 ID:GMj391lI 言語に依存しない数学的オブジェクトの存在が保証されれば 表現を（統一するために）訂正させる仕組みを正当化しやすくなる http://mevius.5ch.net/test/read.cgi/tech/1710585705/157
187: デフォルトの名無しさん [sage] 2024/04/01(月) 16:13:24.51 ID:/OmQcxnO うん。必ずしも泥棒が悪いとはお地蔵様も言わなかった。 パプリカのビキニより、ＤＣミニの回収に漕ぎ出すことが幸せの秩序です。 五人官女だってです！ カエルたちの笛や太鼓に合わせて回収中の不燃ゴミが吹き出してくる様は圧巻で、 まるでコンピューター・グラフィックスなんだ、これが！ 総天然色の青春グラフィティや一億総プチブルを私が許さないことくらいオセアニアじゃあ常識なんだよ！ http://mevius.5ch.net/test/read.cgi/tech/1710585705/187
402: デフォルトの名無しさん [] 2024/04/17(水) 10:41:17.51 ID:reMCnFls ある朝、男が牧場の近くを通った時、腕時計が壊れていることに気づきました。 牧場には、牧草の束にもたれて寝ている牛飼いがいたので、男は「今、何時ですか」と尋ねました。 すると、牛飼いは近くの牛の金玉を持ち上げて、「8時10分だよ」と言いました。 男は怪訝に思いながらも、お礼を言って牧場を後にしました。 その日の夕、時計を直した男は再び牧場のそばを通りました。 牧場には、朝の牛飼いが牧草の束にもたれて寝ていました。 男は牛飼いに「今、何時ですか」と尋ねました。 牛飼いは、やはり牛の金玉を持ち上げて、「5時30分だよ」と言いました。 男は自分の時計を見ました。時計は牛飼いの言うとおり、5時30分を指していました。 男は驚き、「どうして牛の金玉で時間がわかるのですか」と牛飼いに尋ねました。 牛飼いは笑って、「向こうの時計台を見ていただけだよ」と言い、牧場の向こうを指差しました。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/402
533: デフォルトの名無しさん [] 2024/05/06(月) 20:50:00.51 ID:kPNEJGK+ 標準型は常に全関数だ なぜか？ 積分という手法だからだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/533
575: デフォルトの名無しさん [sage] 2024/11/03(日) 20:04:29.51 ID:H5/A1U4T ここまで表示的意味論の話題無し。 数学とプログラミングだったら必須じゃね？表示的意味論 http://mevius.5ch.net/test/read.cgi/tech/1710585705/575
704: デフォルトの名無しさん [] 2024/11/19(火) 16:37:54.51 ID:H/KRjD7N >>701 プログラムの性質が型として記述されていれば実行前にチェック可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/704
728: デフォルトの名無しさん [sage] 2024/12/05(木) 14:18:22.51 ID:sS2Eeasw 無理です TypeScriptのような強力な型システムを備えていれば、 2つの型が等しいことを確かめることは原理的にできません http://mevius.5ch.net/test/read.cgi/tech/1710585705/728
1000: デフォルトの名無しさん [sage] 2025/02/19(水) 17:54:51.51 ID:V/CQ4I1a 意味なし http://mevius.5ch.net/test/read.cgi/tech/1710585705/1000
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.045s