toriさんのページ

ダイクストラの主張する「構造化プログラミング」の内容を ベームらの証明した「構造化定理」と同一視する見方が 世間では一般的です。 が、両者はむしろ対立するものです。 いまだ世間から誤解されているダイクストラの主張を そのまま埋もれ...