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

[過去ﾛｸﾞ] Perlについての質問箱 64箱目 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞あぼーん

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

611: 2020/08/02(日)10:05 ID:Vanmrtqf(1/3) AAS
perlもちゃんと書かないとバグるぞ

614(1): 2020/08/02(日)12:45 ID:Vanmrtqf(2/3) AAS
仕様からコードを自動生成すればバグらない
仕様はちゃんとしか書けないものとする

623(1): 2020/08/02(日)20:29 ID:Vanmrtqf(3/3) AAS
バグの無いことの証明が不可能なのは、
ゲーデルの不完全性定理とかあのへんまで突っ込んでいくからであって、
99.9%okなら良しとする現実世界なら普通に可能