その1：終了ボタンがない

　冷蔵庫以外の全ての電気製品には、「オン」と「オフ」のスイッチがあります（冷蔵庫は、途中で電源をオフにしない前提なので、電源プラグを差し込んだ瞬間に動作します）。この『どんな三角形かな』は、『算数で遊ぼう』の中のアイコンをクリックすると起動し、図1の初期画面を全画面で表示します。

　つまり、この画面から『算数で遊ぼう』へ戻りたい場合、どうすればよいか、この仕様書では分かりません。Webブラウザの「前に戻る」的なボタンが必要です。「タスクマネージャーを起動して、『どんな三角かな』のプロセスを殺せばいい」は乱暴ですね。ただ、このバグは統合デバッグで必ず見つかるので、それほど悪質なバグではありません。

その2：直角二等辺三角形にならない

　このバグは非常にシリアスです。直角二等辺三角形は、3辺の比が「1：1：√2」の時にしかできません。√2を整数や少数で表すことはできず、この画面でどんな数値を入れても、直角二等辺三角形にはなりません。これに気が付いた人は多いと思います。では、どう修正すればいいでしょうか？　以下の2案を考えましょう。

解決案1：「有理数で無理数は表せない。よって、これはバグではなく仕様であり、直角二等辺三角形はできない」と、袈裟懸けに斬って捨てる。

解決案2：√2のような入力を許す。

　解決案1は、いわゆる「子供のお使い」的な解決法ですね。小学生は、三角定規として、直角二等辺三角形と、辺の比が1：2：√3の直角三角形の2枚を必ずセットで持っています（それプラス、分度器がランドセルに入っているはずです）。

＊初出時、三角定規に関しての記述に誤りがありましたので当該カ所を訂正致しました（2018/03/16）

　自分の持っている直角二等辺三角形の定規の3辺をミリ単位で測り、この『どんな三角形かな』へ入力したのに、「不等辺三角形」と表示されては、頭の中が「？？？」となります。このアプリケーション・プログラムの最大の目的が、「小学生に幾何学への興味を持たせる」なのに、それに反するのは、最大のバグです。

　解決案2は、飢餓で暴動を起こした農民に、マリー・アントワネットが「パンがなければケーキ（正確にはブリオッシュ）を食べればいいのに」と言ったのと似ています。√2のような無理数の考え方ができない小学生に対し、「少数点で表示できなければ√を使え」とはいえません。

　いろいろな解決策があるでしょう。その一つを以下に示します。

解決案3：三角形の3辺の比が、ほぼ「1：1：√2」になっていれば、直角二等辺三角形と見なす。

　この「ほぼ」をプログラムの中でどう扱うか、簡単ではありません。例えば、小学生の持っている三角定規の辺の長さが、10cm、10cm、14.1cmの直角二等辺三角形だとしたら、100：100：141～142の範囲なら直角二等辺三角形と見なすのも1つの方法です。「正確な比率のプラスマイナス1％以内なら、直角二等辺三角形と判定する」でもいいでしょう。これで直角二等辺三角形の問題は解決です。「無事、仕様上と使用上のバグが見つかって修正でき、めでたしめでたし」ではありません。話はここから始まります。

　この「ほぼ」は、他の三角形にも適用しなければなりません。直角三角形の判定にはピタゴラスの定理を使いますが、「3：4：5」や「5：12：13」のような整数になるものはごく少数です。「√2：√3：√5」も直角三角形です。「バグが見つかったら、他の箇所に同類のバグがないかチェックする」必要があります。これは、品質制御の基本です。96.8cm、96.7cm、96.8cmなら、「正三角形」と判定せねばなりません。

　全種類の三角形に対し、「ほぼ」の概念を盛り込む必要があります。ソフトウェア開発の難しいところは、「ほぼ」という曖昧な概念をプログラム中では正確に表記する必要があることで、「±1％は誤差範囲とする」などの記述をせねばなりません。

おわりに

　バグを見つけても、どう修正するかは意外に難しいものです。特に「設計者」と「実際のユーザー」が大きく異なると、バグを見つけても修正するのは簡単ではありません。ソフトウェアが市場に出て、ユーザーからクレームが来るまで、本当の問題に気が付かないこともあるでしょう。「何を目的にしたソフトウェアを開発しているのか？」を明確に意識することは、非常に重要です。