Perlについての質問箱 64箱目

[過去ﾛｸﾞ] Perlについての質問箱 64箱目 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

947(1): 2021/03/07(日)23:53 ID:Q92Mc+WL(4/4) AAS
軽く考えてるけど、プログラムの停止性ってもっそい奥が深い
ゲーデルの不完全性定理と密接に絡んでる

950: 2021/03/08(月)01:47 ID:6lKYXbK2(1/4) AAS
>>947
バグが存在しない証明は超難しいから、ふつうやらない。
かわりに、テストを必要なだけする。
それだけのこと。

原理とやらは学者に任せておけばいい。