sumim https://blog.hatena.ne.jp/sumim/ Smalltalkのtは小文字です https://sumim.hatenablog.com/ ※本稿は私の理解の整理および備忘用に ChatGPT に書かせた記事です。 TL;DR ベーム＝ヤコピーニの構造化定理は「表現できるか」の話。ダイクストラの構造化プログラミングは「人間が理解できるか」の話。両者は同じ三つの制御構造にたどり着くが、問題意識はかなり違う。 プログラミング史の入門では、よくこんな説明を見かけます。 「どんなプログラムも、順次・選択・繰り返しの三つで書ける。だから goto は不要で、構造化プログラミングが生まれた」 これは完全な間違いではありません。けれども、少し平らにしすぎた説明でもあります。ベームとヤコピーニの「構造化定理」と、ダイクストラの「構造化プログラミン… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsumim.hatenablog.com%2Fentry%2F2026%2F06%2F04%2F102654" title="構造化定理と構造化プログラミングは、似ているけれど同じ話ではない - Smalltalkのtは小文字です" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2026-06-04 10:26:54 rich https://sumim.hatenablog.com/entry/2026/06/04/102654 1.0 100%