[過去ログ]
「数学」をプログラミングするには (1002レス)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
81: デフォルトの名無しさん [sage] 2024/03/23(土) 19:08:33.11 ID:HOjMmtFw 配列こそプログラミングやコンピュータ都合の邪道なものだね 配列は有限しか扱えないから不要 イテレータは自然数イテレータだけでなく例えばフィボナッチイテレータなど無限を扱える イテレータは数学とも相性がいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/81
194: デフォルトの名無しさん [sage] 2024/04/02(火) 00:27:08.11 ID:CRIzWwoI >>192 正当化は2種類 行動に個性があればもし失敗しても同じ失敗が集団的に繰り返される心配がないのと もう一つは、目には目を歯には歯をみたいな相手と同じことを繰り返せばOKと思ってるやつ http://mevius.5ch.net/test/read.cgi/tech/1710585705/194
342: デフォルトの名無しさん [sage] 2024/04/16(火) 16:31:40.11 ID:Ng40HiX6 カリー・ハワード同型対応 http://mevius.5ch.net/test/read.cgi/tech/1710585705/342
343: デフォルトの名無しさん [] 2024/04/16(火) 17:31:21.11 ID:gwwVz7LD >>340 明らかに成り立たないし、そもそもnが定義されていなかったり問題として成り立ってない http://mevius.5ch.net/test/read.cgi/tech/1710585705/343
363: デフォルトの名無しさん [] 2024/04/16(火) 21:26:35.11 ID:8wnatpzr しねえええええっ!!! http://mevius.5ch.net/test/read.cgi/tech/1710585705/363
432: デフォルトの名無しさん [sage] 2024/04/24(水) 20:37:33.11 ID:8tkXCVQE 型に複雑さ移動するだけで何も楽にならない むしろ難しくなる http://mevius.5ch.net/test/read.cgi/tech/1710585705/432
588: デフォルトの名無しさん [sage] 2024/11/05(火) 12:30:03.11 ID:YSt/y3gD DSの定義とは Data Segment Deeeep State http://mevius.5ch.net/test/read.cgi/tech/1710585705/588
688: デフォルトの名無しさん [] 2024/11/18(月) 20:12:54.11 ID:cmnYUiAb >>685,686 御大層なこと言っておいてそれで数学を厳密にプログラミング出来ましたってか? そういうのを決め打ちっていうんだよ。 どんなコードが出るか期待してたら…。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/688
822: デフォルトの名無しさん [sage] 2025/01/14(火) 08:15:31.11 ID:BEZztBwJ 型⊂クロージャ http://mevius.5ch.net/test/read.cgi/tech/1710585705/822
996: デフォルトの名無しさん [sage] 2025/02/19(水) 16:21:56.11 ID:8rlYEoii FORTRANやCOBOLが夢の技術だと思っている人がいた時代にも、PerlやPython、さらにはHaskellやRustの水準でものを考える人もいたわけだ 自分が原始的なコンピュータの枠組みでしか思考できないなんてことを、そんなに得意げに言うもんじゃない http://mevius.5ch.net/test/read.cgi/tech/1710585705/996
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s