サクサク読めて、アプリ限定の機能も多数！
現在でも定理証明支援系を使えば原理的には可能だし、部分的にも実験されてるけど、大規模なプログラムでそれやるのは、（まだ）おそろしく難しいだろうと思う。人間が仕様（定理）の定義間違ったら駄目だが。
kmizushima のブックマーク 2017/02/14 23:59
このブックマークにはスターがありません。 最初のスターをつけてみよう！
anond.hatelabo.jp2017/02/14
バグは人のミスなんだから、理屈的には正しいような気がする だけど未だかつて人類はこれを達成できていないという観測的事実がある、何故そうなるのかを説明することは可能だろうか
488 人がブックマーク・224 件のコメント
＼ コメントが サクサク読める アプリです ／
現在でも定理証明支援系を使えば原理的には可能だし、部分的にも実験されてるけど、大規模なプログラムでそれやるのは、（まだ）おそろしく難しいだろうと思う。人間が仕様（定理）の定義間違ったら駄目だが。
このブックマークにはスターがありません。
最初のスターをつけてみよう！
プログラムのわからないえらい人「バグのないプログラムを書くことはできないのか？難しいかもしれないが、十分に気を付けていれば防げるのではないか？」にどう返したらいいのかわからない
バグは人のミスなんだから、理屈的には正しいような気がする だけど未だかつて人類はこれを達成できていないという観測的事実がある、何故そうなるのかを説明することは可能だろうか
488 人がブックマーク・224 件のコメント
＼ コメントが サクサク読める アプリです ／