[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
28: デフォルトの名無しさん [] 2024/03/19(火) 04:11:20.65 ID:YAmi9Hnz 数学を記述するには一階述語論理があれば十分 しかし処理系側は特殊なケースに特化するよりも自然に実装できる範囲で一般化したほうがいいだろう 命題の記述は依存型による http://mevius.5ch.net/test/read.cgi/tech/1710585705/28
70: デフォルトの名無しさん [] 2024/03/23(土) 12:47:39.65 ID:g/HfMmmn >>69 機械語に識別子はないからできないだろ。Cでは長さnの配列aの各要素に関数fを適用した結果を 配列bに格納する関数 map(f, a, n, b) を簡単に自作できる。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/70
113: デフォルトの名無しさん [sage] 2024/03/25(月) 08:05:29.65 ID:S04445Yl しょうもない算法や文法を力説されても 数理論理を知らん高卒なんやろか http://mevius.5ch.net/test/read.cgi/tech/1710585705/113
245: デフォルトの名無しさん [sage] 2024/04/12(金) 16:41:43.65 ID:gi41fiD0 数学は計算だけの学問ではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/245
664: デフォルトの名無しさん [] 2024/11/18(月) 13:12:10.65 ID:petr+Idh そもそも何を定義してほしいんだ？ 上で言ってるイプシロンデルタ論法なんか厳密に定義されてるだろ 自分が理解できてないのを責任転嫁してないか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/664
731: デフォルトの名無しさん [sage] 2024/12/05(木) 16:55:56.65 ID:7Nw3563u ∧＿∧ ﾋﾟｭｰ ( ＾＾ ） ＜これからも山崎を応援して下さいね（＾＾）。 ＝〔~∪￣￣〕 ＝ ◎――◎ 山崎渉 http://mevius.5ch.net/test/read.cgi/tech/1710585705/731
736: デフォルトの名無しさん [sage] 2024/12/05(木) 22:23:42.65 ID:nFy0adPc 効率って短時間という意味だよな たとえば疑わしきを3秒くらいで罰するとか http://mevius.5ch.net/test/read.cgi/tech/1710585705/736
740: デフォルトの名無しさん [sage] 2024/12/08(日) 06:34:59.65 ID:X+KuZzcS >>738 高卒がプログラミングなんかすんなよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/740
910: デフォルトの名無しさん [] 2025/01/26(日) 20:55:22.65 ID:BcwcPe/+ ドリル優子が大臣に http://mevius.5ch.net/test/read.cgi/tech/1710585705/910
918: デフォルトの名無しさん [sage] 2025/01/28(火) 15:48:49.65 ID:fgheZtrX >>917 暗号化技術でガロアとの肉体関係 http://mevius.5ch.net/test/read.cgi/tech/1710585705/918
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s