*

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

公開日: : トピックス

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

 

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

1.2つの検体(例:血液とか髪の毛)のDNAをビット化(0か1にする)
2.2つの検体の0,1の一致した部分を割り出す
3.一致した部分が、ある確率以上または以下、であれば実子かどうか判定する。

 

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

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

 

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

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

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

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

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

 

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

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

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

スポンサーリンク

関連記事

no image

金環日食では、月と地球の引力が地球に大きく作用します。

→大地震の可能性が高まります。 http://yogen-blog.com/1599 から、引用

記事を読む

no image

EVERNOTEプレミアム会員をキャンセルしたい–その2

すぐに返信メールが来た。 ---以下返信メールの内容 ##- 返信メールでコメントを追加する

記事を読む

炎上とはなにか

「炎上」の定義がどんどんあやふやになっていく。 小泉元総理が現役総理当時、靖国神社参拝した時の、

記事を読む

「Wikimedia Conference Japan 2013」出席レポート

2/3 「Wikimedia Conference Japan 2013」が開かれました。

記事を読む

IT関連にご利益がある「神田明神」に初詣

父母の死去等で3年初詣をしてなかった。 去年の正月から、今年の初詣を「神田明神」と決めていた。

記事を読む

no image

CSSのリセット

最近のブラウザは大きく分けて4つ。 Chrom,IE,Firefox,Safari。 どれぞれ特

記事を読む

海外のレンタルサーバを借りてみた(補足資料)

 「海外のレンタルサーバを借りてみた」 の補足資料。 *原文は、こちらを参照してください。

記事を読む

Youtubeの検索順位のアルゴリズムは?

Youtubeで「心筋梗塞」->検索 で、僕の体験を語った動画が9位になっている。 前後はNHK

記事を読む

no image

ホームページ上の画像解像度について

我が母校のSNS「Curi**」から「卒業式の写真をアップしたから見てね」とのメッセージが届きました

記事を読む

EVERNOTEプレミアム会員をキャンセルしたい–その1

何かのはずみで、EVERNOTE のプレミアム会員になっっていた。 スマホで操作中に「はい」を押し

記事を読む

複数の引数を渡す方法

これは僕のメモです。   <?PHP

phpmyadminで編集できない時の対応

これは僕のメモです。 phpmyadminで編集・コピー・削除が

CSSの変更をChromeにすぐ反映させる方法

これは、僕自身のメモです。   『スーパーリロー

サイトマップ送信時エラー

これは、僕自身のメモです。 「サイトマップを読み込めませんでした

プレースホルダ(プリペアド・ステートメント)で2つのテーブルを比較するときの注意

これは、自分のメモです。(自分の勉強用フォルダren/ren112.p

→もっと見る

PAGE TOP ↑