  |
客商売やもん 安定性とか保守性の方が大事 そりゃそうなるだろ
数学的にバグが存在しない形っていうのが良く分からない それを導出するっていう概念も良く分からない バグが入りにくい形は考えてかかないと仕事にならないよ それが数学的なの...
https://coq.inria.fr http://www.agfa.com/global/en/main/index.jsp http://ja.wikipedia.org/wiki/自動定理証明
ツールつかってバグが少ないか検査してますって言うこと？
横だけど、俺の場合は最近は（可能な限り）数学的にバグが存在しない形を導出してからコーディングしないと怖くて仕方がないんだけど、 web系とかだとそういうの必要ない（問題にな...
8
