「Linuxカーネルは商用ソフトよりバグが少ない」記事へのコメント

とりあえず分かった事

[Anonymous Coward]

5,700,000 / 5,000 = 1,140

1,000行以下でコーディングすれば、通常はバグが０になるのですね！

Re:とりあえず分かった事

[Anonymous Coward]

ある程度の規模のソースコード中の、どの 1000行を取り出してもそのコード中に存在するバグは 0 となる。したがって、ソースコード全体でのバグ数も 0 となる。

# なったらうれしいのになぁ

Re:とりあえず分かった事

[greentea (17971)]

ある程度の規模のソースコード1行を取り出したら、その行にはバグがあった。(以下略)

--
1を聞いて0を知れ!

数学的帰納法により

[Anonymous Coward]

任意の自然数ｎ行からなるプログラムにバグが存在しないことを証明できそうですね。