プログラムの正しさの証明については、みなさんどう思いますか？
ＭＬのような、型のしっかりした言語でもミスは起こり得るわけで、
ましてや、C++のような言語を使って、金や命にかかわるようなプログラム
書いててだいじょうぶかぁって。オレはアマチュアだからいいけど、プロは
責任重いよな〜。