アカウント名:
パスワード:
本当に安全性を高めるなら定理証明系言語使わないとC に証明を付与する Frama-C とか ATS2 とか使って欲しい
よくわからないのだが、そういうのを使うと、夢物語だと言われていた「バグが無い(と証明された)プログラム」が作れるの?
原理的にできない。停止性問題とか不完全性定理について調べるとよろし。「安全性を高める」のには寄与する。
だが「それを採用すれば安全性が高まる」と思考停止している馬鹿が採用した場合、不十分な学習によるミスと、過信による安全のための工程省略等が起きて安全性はむしろ下がる。
結局、安全性の高いプログラムを作れる奴でないと正しく使えないのでは、なぁ……
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
コンピュータは旧約聖書の神に似ている、規則は多く、慈悲は無い -- Joseph Campbell
安全性を高めるには (スコア:2, 興味深い)
本当に安全性を高めるなら定理証明系言語使わないと
C に証明を付与する Frama-C とか ATS2 とか使って欲しい
Re: (スコア:0)
よくわからないのだが、そういうのを使うと、
夢物語だと言われていた「バグが無い(と証明された)プログラム」が作れるの?
Re: (スコア:0)
原理的にできない。停止性問題とか不完全性定理について調べるとよろし。
「安全性を高める」のには寄与する。
Re:安全性を高めるには (スコア:0)
だが「それを採用すれば安全性が高まる」と思考停止している馬鹿が採用した場合、
不十分な学習によるミスと、過信による安全のための工程省略等が起きて安全性はむしろ下がる。
結局、安全性の高いプログラムを作れる奴でないと正しく使えないのでは、なぁ……