プログラムの検証とDNA鑑定プログラム

公開日： 2015/12/13 : トピックス

プログラムの書き屋として飯を食ってきた人間として興味があったのが「元光GENJI大沢樹生の実子問題」。
ネットカフェ行ったので、「婦人公論」で、喜多嶋舞の反論を読んできた。
僕が興味があったのは、DNAを判定するプログラムをどこまで検証したか、という事。

「実子かどうか判定プログラム」はおそらく

１．２つの検体（例：血液とか髪の毛）のDNAをビット化（0か1にする）
２．２つの検体の0,1の一致した部分を割り出す
３．一致した部分が、ある確率以上または以下、であれば実子かどうか判定する。

このアルゴリズムはすぐに作れるが、プログラムにした時、
果たしてこのプログラムが正しいか、どうやって確認したか。
１．同じ処理を全く違った場所、人間がやってみて結果が同じならプログラムはOK
２．手作業で、プログラムが正しいか、他人数かけて検証する。

一見、同じプログラムを作るのがいいように見えるが、
「アルゴリズムの罠」というのがあり、人間がプログラム作成時に見落としてしまう部分がある。
一番信頼できるのが、他人数かけて検証する方法。

ただし、人間の遺伝子は「3.2GB」で、0,1に換算すると

１ギガバイト＝1024*1024*1024*8=8,589,934,592
85億×3.2＝250億以上-＞これを人間は確認できない。

おそらく、
１．同じ処理を全く違った場所、人間がやってみて結果が同じならプログラムはOK
でやったのだと思う。

今日、「婦人公論」の喜多嶋舞の反論を読んで、
特に「大沢さんは初めての人です」の所を読むと、人為的なミスがどっかにないかな、
と思えてしょうがない。
＊栄枯盛衰が激しい芸能界で「大沢さんは初めての人です」なんて言ったら、
「オレその前にやってるよ」と仕事欲しさに名乗り出てくる人間もいるのではないか。

＊僕、ATMでお金おろすときもいまだに無意識でお札確認してることがあります。職業病みたいなもんかもしれません。

参考１：僕が作っていたプログラムは、会計処理一般の合計確認プログラム。
例えば大手都市銀行の個人の残高、支店の残高、全銀行の残高、などを
プログラムができた後に確認するプログラム。
検証プログラムを検証するために莫大な人数（百人以上が数日間）をかけていた。

参考２：DNA鑑定プログラムのアルゴリズムなど、僕がすべて推測で書いています。

その他：最近、自分の技術メモ的になっていたので、「トピックス」として時事ネタ書きました。