6.7年前の工学系の情報の学科で、プログラムの正当性を数学的に証明するという
テーマの授業があった。その対象はフローチャートで書けるプログラムだったよ
(戦後に国立になった某工業系大学)

…いくらなんでも、もうその授業はないよなぁ

俺は昔、ゲームのプログラマだったせいか
状態遷移図を描いてデータ構造を決めて、その後でコーディングするという
癖が抜けん