アカウント名:
パスワード:
皆さんも経験ありますよね(?)
仕様通りに作るとおかしな動作になる。仕様そのものも検証対象だと学んだのが一年目
そこで形式手法ですよ数学的にプログラムのバグが無いことが証明されるその結果、仕様に多くのバグが含まれることが証明される
形式手法はモデルないしアルゴリズムまでしか検証しない実装や実環境を理想化してるから実務に落とし込むならそれらとの整合性を取らないといけない聞きかじりやら理論屋(笑)はそういう面を無視するし、だから何十年たっても広まらないんだよ
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
アレゲはアレゲを呼ぶ -- ある傍観者
バグではありません!仕様です! (スコア:2, おもしろおかしい)
皆さんも経験ありますよね(?)
Re: (スコア:1)
仕様通りに作るとおかしな動作になる。仕様そのものも検証対象だと学んだのが一年目
Re: (スコア:0)
そこで形式手法ですよ
数学的にプログラムのバグが無いことが証明される
その結果、仕様に多くのバグが含まれることが証明される
Re:バグではありません!仕様です! (スコア:0)
形式手法はモデルないしアルゴリズムまでしか検証しない
実装や実環境を理想化してるから実務に落とし込むならそれらとの整合性を取らないといけない
聞きかじりやら理論屋(笑)はそういう面を無視するし、だから何十年たっても広まらないんだよ