How to do Math in programming (34ﾚｽ)
How to do Math in programming http://mevius.5ch.net/test/read.cgi/tech/1710981703/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
16: デフォルトの名無しさん [sage] 2024/04/01(月) 00:51:33.03 ID:1WSos/bD >>14 数学を表現するための概念のサブセットも選ばないといけない 現代数学が公理的集合論で記述されることは誰でも知ってるけど、具体的な対象（たとえば実数など）を扱う時に、それが∅から始めてZFCで構成可能かどうかなんてことを意識している人はいない おそらく多倍長整数と浮動小数点数くらいはあったほうがいい http://mevius.5ch.net/test/read.cgi/tech/1710981703/16
17: デフォルトの名無しさん [sage] 2024/04/01(月) 00:58:01.06 ID:1WSos/bD あと、近年のスクリプト言語における型チェッカやJITコンパイラなどと同様に、 言語は同じでも、プログラミングをする処理系と、証明をする処理系をわけたほうがいいと思う 同じだと、たとえば自然数の2を、数値として評価するか、「0の後者の後者」のように展開するか、プログラマが書き分けないといけない http://mevius.5ch.net/test/read.cgi/tech/1710981703/17
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.006s