アカウント名:
パスワード:
皆さんも経験ありますよね(?)
仕様通りに作るとおかしな動作になる。仕様そのものも検証対象だと学んだのが一年目
そこで形式手法ですよ数学的にプログラムのバグが無いことが証明されるその結果、仕様に多くのバグが含まれることが証明される
なんかそういう言い方をすると胡散臭く感じるけど、たいていの職業プログラマーはすでに日々形式検証のお世話になっているはず。型システムっていうんですけど。AIは実用化されるとAIと呼ばれなくなるみたいなパラドックス
残念ながらダックタイピングのため対象箇所を動かすまで検証されません。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
長期的な見通しやビジョンはあえて持たないようにしてる -- Linus Torvalds
バグではありません!仕様です! (スコア:2, おもしろおかしい)
皆さんも経験ありますよね(?)
Re: (スコア:1)
仕様通りに作るとおかしな動作になる。仕様そのものも検証対象だと学んだのが一年目
Re: (スコア:0)
そこで形式手法ですよ
数学的にプログラムのバグが無いことが証明される
その結果、仕様に多くのバグが含まれることが証明される
Re: (スコア:1)
なんかそういう言い方をすると胡散臭く感じるけど、たいていの職業プログラマーはすでに日々形式検証のお世話になっているはず。型システムっていうんですけど。AIは実用化されるとAIと呼ばれなくなるみたいなパラドックス
Re: Re:バグではありません!仕様です! (スコア:0)
残念ながらダックタイピングのため対象箇所を動かすまで検証されません。