異論はたくさんあると思うし、答えは一つではないと思うので、私見です。 そんなにバグが無い状態をめざさなきゃいけなくて、それが実現できるんだというなら、ロジックをハードウェアにでも焼き込んでしまえばいい。ロジックをソフトウェアで書くのは、変更に対応するためだ。 ソフトウェア開発にとって最大の阻害要因は納期 - 狐の王国 でもね、目指さなきゃならんと思うんですよ、場合によっては。全システム金額計算とセキュリティーの塊である銀行の基幹系システムをやっている身としては、100%バグのないシステムを作るのは無理だけど、100%バグのないシステムを目指すのは義務だと思っている。結果として、バグによって起きる障害は少ないし、起きた結果として預金が消えてなくなって痕跡も残らない、ということもない。 それだけ厳しいことをやっている理由の一つには、不正を看過しない、という要素も含まれている。もっとも、昨今の銀