「東証システム、構築は10年前ですでに耐用年数もオーバーしていた」記事へのコメント

是非オープンソースで

[kcg (26566)]

こういう重要な公共システムはオープンソースにしてバグや不正を取り除いてから公開したらいいと思います。

Re:是非オープンソースで

[Anonymous Coward]

オープンソースにしたら自動でバグや不正が取れるという、素晴らしく能天気な考えの阿呆発見。

# と釣られる

Re:是非オープンソースで

[kcg (26566)]

オープンソースにすることは、バグや不正の無いプログラムに対する十分条件ではなく、必要条件だと思っております。

Re:是非オープンソースで

[hiroymz (29348)]

オープンソースは別に必要条件じゃないでしょう。
オープンソースでも普通にバグや不正が長期間放置された例もある。

せいぜい、一つの方法です。

#そもそも、東証のシステムだってバイナリの使用者である東証自身は自由にソースを見れる状態に有るのだし。

--
Y.HIROSI

Re:是非オープンソースで

[kcg (26566)]

＞オープンソースでも普通にバグや不正が長期間放置された例もある。

その反論は十分条件だと言った場合のものですね。

オープンソースで無いのにバグが無い事を証明できないので必要条件だとしたまでです。

Re:是非オープンソースで

[hiroymz (29348)]

必要条件と十分条件の話なら簡単。

バグや不正の無いプログラムはオープンソース以外でも存在しうるので、オープンソースは必要条件でない。

以上

--
Y.HIROSI

Re:是非オープンソースで

[kcg (26566)]

＞バグや不正の無いプログラムはオープンソース以外でも存在しうる

存在しないですよ。バグや不正が無いことを証明するためにはソースを見せずにはありえないので。

Re:是非オープンソースで

[hiroymz (29348)]

オープンソースでなくてもソースは見れる。

以上

--
Y.HIROSI

Re:是非オープンソースで

[kcg (26566)]

オープンソースであることは、ソースが見れることの必要条件とは言っていない。