Inter-universal geometry と ABC予想 (応援スレ) 65

879 名前：１３２人目の素数さん [2022/04/30(土) 13:14:38.40 ID:Vf6bDvV+.net] >>806 つづき ダイクストラの構造化プログラミング 「構造化プログラミング」（structured programming）の語が最初に提唱されたのは1969年にオランダのコンピュータ科学者エドガー・ダイクストラ（Edsger W. Dijkstra）が発表した論文で、本来はこちらが構造化プログラミングの定義であるとされる。 彼の主要な問題意識は、プログラムの規模が大きくなっても正しさを容易に検証できるような「良く構造化されたプログラム」（well-structured program）を記述する方法論で、そのためのいくつかの考察と原則を構造化プログラミングという概念でまとめた。 これには、現代では関数やサブルーチンなどとして知られる、プログラムの「段階的な抽象化」（step-wise abstraction）、現代のオブジェクト指向プログラミングに近い、抽象的なデータ構造（abstract data structures）とこれに関連付けられた抽象的な構文（abstract statements）の「共同詳細化」（joint refinement）が含まれる。 (引用終り) 以上

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef