>>870の続き
1968年、計算機科学者エドガー・ダイクストラのACM機関紙への投書「Go To Statement Considered Harmful -goto文は有害-」は、
その物議を醸す題名でコンピュータプログラミング界隈にいわゆるgoto文論争を巻き起こした。
これは構造化文の認知度を高めることに貢献している。
これを構造化文の第二幕と定義したクヌースは「第二幕はそのムーブメントの大きさによって、多くの人にとっての第一幕になった」と評した。
1968年度開催のNATOソフトウェア工学会議でソフトウェア危機は正式な用語になり、産業界と計算機科学共通の懸案事項になった。
翌69年度開催の同会議においてダイクストラは「Structured Programming -構造化プログラミング-」と題した論文を寄稿した。
これが「構造化プログラミング」の正式な初出である。
その論旨はソフトウェア危機解決策としてのソフトウェア正当性検証技術の確立であり、
プログラムを適切に分割し抽象化して良く構造化(well-structured)しておけば、
プログラムサイズ拡大に関係なくその正当性を証明できるとしていた。
その具体的手法としてはトップダウン設計、段階的な抽象化、階層的なモジュール化、
抽象データ構造と抽象ステートメントを連携させる共同詳細化などが挙げられていた。
goto文抑制など構造化文に関する事柄は数行に留まっていたが、
goto文論争に熱心なプログラマの間ではこの論文を昨年の投書の延長と見る向きも少なからず存在していた。
後年のダイクストラは構造化プログラミングという言葉を作った際に二つの失敗をしたと述べている。
商標登録しなかった事と、厳密な定義化を避けた事である。
Inter-universal geometry と ABC予想 (応援スレ) 75
■ このスレッドは過去ログ倉庫に格納されています
873132人目の素数さん
2025/10/08(水) 08:55:49.44ID:ZUg/Zo7i■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】巨人 高橋由伸氏にヘッドコーチ就任要請! 松井秀喜新監督の「1人だけ声をかけています」は高橋由伸氏… 超豪華内閣が実現へ [冬月記者★]
- 【野球】松井秀喜新監督、組閣について「絶対この人という人はいない。友達いないタイプなので」「現時点で一人だけ声を掛けてます」 [ニーニーφ★]
- 日本のGDP、世界6位転落へ…薬物もやらない勤勉な日本人が貧しくなる屈辱は“完全な政策ミス”か? ★8 [ぐれ★]
- セブンイレブンからの客離れが止まらない ローソン、ファミマ最高益の裏で「ひとり負け」巻き返しの切り札は★2 [♪♪♪★]
- パナソニックHD、利用禁止の生成AIに従業員らの情報送出 33万人分 [少考さん★]
- 【野球】巨人・松井秀喜新監督が就任会見 3年契約、背番号は『90』に決定 「新たな黄金時代を」★2 [冬月記者★]
- ひろゆき「パリ暴動の逮捕者、7割が仏国籍で95%が仏生まれ。ソースは司法省」→ネトウヨ大激怒、また炎上wwwwww [834922174]
- 10.23🏡とうふさんの日😊
- 【衝撃ニュース】巨人ドラフト1位織田翔希、MLB契約未登録で進路方針転換の報道
- 築地、ジャップが消えてとんでもないことになっていた… [668024367]
- 【高市悲報】倉田真由美「知性を身につければ左翼になるという発想は驕り」 [834922174]
- 日本人舐め過ぎタイムズカー、わずか3000円で解決図る…12年前ベネッセでは住所氏名だけで3300円 [245325974]