＞構造化プログラミングはまだ必要ではないのか？

まだそんなこといってんのかｗ

その昔グリースの「プログラミングの科学」を読んだ自分
プログラム検証の時代はまだ来ないのか？！