[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
230: デフォルトの名無しさん [sage] 2024/04/12(金) 11:00:23.24 ID:n/WEiCkF 厳密に求められないからπという記号を用いたわけで コンピュータで扱う場合はπという記号定数を使えばいいだけ 無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒 1がしたいことが何なのかよくわからん http://mevius.5ch.net/test/read.cgi/tech/1710585705/230
242: デフォルトの名無しさん [sage] 2024/04/12(金) 15:32:45.75 ID:n/WEiCkF そういや誰かがすべての言語はチューリング完全とか適当なことかいてたけど 一昔前のcobolはチューリング完全じゃないぞ チューリング完全は数学をプログラムするための必要条件ではないかな アセンブラはその意味で資格はあると思われる http://mevius.5ch.net/test/read.cgi/tech/1710585705/242
248: デフォルトの名無しさん [sage] 2024/04/12(金) 17:20:27.68 ID:n/WEiCkF 命題 + 証明 ↑↓ 型 + プログラム これはカリーハワード同型対応として知られている このセットで数学といえるかは俺にはわからない 計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/248
252: デフォルトの名無しさん [sage] 2024/04/12(金) 17:40:09.52 ID:n/WEiCkF 直観主義論理ってやつでしょ http://mevius.5ch.net/test/read.cgi/tech/1710585705/252
254: デフォルトの名無しさん [sage] 2024/04/12(金) 17:56:16.32 ID:n/WEiCkF 構成的論理ならきいたことはあるが構成論理ってなんだよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/254
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.042s