[過去ﾛｸﾞ] C++相談室 part165 (1002ﾚｽ)

C++相談室 part165 http://mevius.5ch.net/test/read.cgi/tech/1698705458/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

750: デフォルトの名無しさん (ﾜｯﾁｮｲ d963-lHAu) [sage] 2025/03/16(日) 11:01:20.74 ID:N4spayNe0 有限時間内に終わる機械的計算手続きとして存在するかという観点で考えたとき デバックの不可能なプログラムは存在しないという例の命題は偽な可能性、 もっともこの正確な引用は「バグのないプログラムは存在しないがデバックの不可能なプログラムもまた存在しない」であって全体として矛盾した主張であることは前から指摘されてあるが http://mevius.5ch.net/test/read.cgi/tech/1698705458/750

751: デフォルトの名無しさん (ﾜｯﾁｮｲ d963-lHAu) [sage] 2025/03/16(日) 11:04:22.68 ID:N4spayNe0 訂正orz、 誤：　有限時間内に終わる機械的計算手続きとして存在するかという観点で考えたとき 正：　任意のプログラムのデバッグと言う手続きが有限時間内に終わる機械的計算手続きとして存在するかという観点で考えたとき http://mevius.5ch.net/test/read.cgi/tech/1698705458/751

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.036s