2026-06-01から1ヶ月間の記事一覧
※本稿は私の理解の整理および備忘用に ChatGPT に書かせた記事です。 TL;DR ベーム＝ヤコピーニの構造化定理は「表現できるか」の話。ダイクストラの構造化プログラミングは「人間が理解できるか」の話。両者は同じ三つの制御構造にたどり着くが、問題意識は…
※本稿は私の理解の整理および備忘用に ChatGPT に書かせた記事です。 TL;DR ベーム＝ヤコピーニの構造化定理は「表現できるか」の話。ダイクストラの構造化プログラミングは「人間が理解できるか」の話。両者は同じ三つの制御構造にたどり着くが、問題意識は…
