構造 こうぞう 化 か （ こうぞうかプログラミング 、（ 英 えい structured programming ）は、コンピュータプログラム の処理 しょり 手順 てじゅん 明瞭 めいりょう 化 か 平易 へいい 化 か 判読 はんどく 性 せい 向上 こうじょう 目的 もくてき プログラミング 手法 しゅほう 一般 いっぱん 的 てき 順接 じゅんせつ 分岐 ぶんき 反復 はんぷく 三種 さんしゅ 制御 せいぎょ 構造 こうぞう 処理 しょり 流 なが 記述 きじゅつ 認識 にんしき [1] [2] 制御 せいぎょ 構造 こうぞう 制御 せいぎょ 構文 こうぶん 構造 こうぞう 化 か 文 ぶん 制御 せいぎょ 文 ぶん 呼 よ 任意 にんい 分割 ぶんかつ 部分 ぶぶん サブルーチン とコードブロック ）の階層 かいそう 的 てき 組 く 合 あ 構造 こうぞう 化 か 指 さ
このプログラミング手法 しゅほう 普及 ふきゅう 貢献 こうけん 年 ねん 計算 けいさん 機 き 科学 かがく 者 しゃ エドガー・ダイクストラ によるACM 機関 きかん 紙 し 投書 とうしょ 言 い 同 おな 年度 ねんど NATO ソフトウェア工学 こうがく 会議 かいぎ 発表 はっぴょう 論文 ろんぶん 混同 こんどう 招 まね 側 がわ 名称 めいしょう 知 し 現在 げんざい 到 いた 国内外 こくないがい 多 おお 書籍 しょせき 構造 こうぞう 化 か 制御 せいぎょ 構文 こうぶん 関 かん 説明 せつめい 結 むす 付 つ 年 ねん 論文 ろんぶん 内容 ないよう プログラム正当 せいとう 性 せい 検証 けんしょう 設計 せっけい 技法 ぎほう 扱 あつか トップダウン設計 せっけい 、段階 だんかい 的 てき 抽象 ちゅうしょう 化 か 階層 かいそう 的 てき 化 か 抽象 ちゅうしょう 構造 こうぞう 抽象 ちゅうしょう 連携 れんけい 共同 きょうどう 詳細 しょうさい 化 か 考 かんが 方 かた 提唱 ていしょう [3]
制御 せいぎょ 構文 こうぶん goto文 ぶん によるフロー分岐 ぶんき 表現 ひょうげん if文 ぶん の選択 せんたく 構文 こうぶん while文 ぶん の反復 はんぷく 構文 こうぶん 置 お 換 か 記法 きほう 意味 いみ 先 さき 文 ぶん 機能 きのう 文 ぶん 文 ぶん 特定 とくてい 群 ぐん 実行 じっこう 概念 がいねん 置 お 換 か 文 ぶん 用 もち 制御 せいぎょ 照合 しょうごう 比較 ひかく 結果 けっか 次 つぎ 実行 じっこう 群 ぐん 選択 せんたく 照合 しょうごう 比較 ひかく 結果 けっか 任意 にんい 条件 じょうけん 満 み 実行 じっこう 群 ぐん 反復 はんぷく 二 に 通 とお 集約 しゅうやく 経験 けいけん 則 そく 知 し 専用 せんよう 記号 きごう 形式 けいしき 化 か 制御 せいぎょ 構文 こうぶん
コード群 ぐん 命令 めいれい 構造 こうぞう 化 か 定理 ていり 部分 ぶぶん 定義 ていぎ 部分 ぶぶん ステートメント （statement）コードブロック （code block）サブルーチン （subroutine）の総称 そうしょう 命令 めいれい 一 いち 行 ぎょう 意味 いみ 一 いち 行 ぎょう 以上 いじょう 一 いち 行 ぎょう 以上 いじょう 一 いち 個 こ 以上 いじょう 内包 ないほう 部分 ぶぶん 直列 ちょくれつ 状 じょう 入 い 子 こ 状 じょう 配置 はいち 実行 じっこう 順序 じゅんじょ 決定 けってい 制御 せいぎょ 構文 こうぶん 以下 いか 三 みっ
順次 じゅんじ 部分 ぶぶん 順々 じゅんじゅん 実行 じっこう 選択 せんたく 条件 じょうけん 式 しき 導出 どうしゅつ 状態 じょうたい 従 したが 次 つぎ 実行 じっこう 部分 ぶぶん 選択 せんたく 分岐 ぶんき 反復 はんぷく 条件 じょうけん 式 しき 導出 どうしゅつ 特定 とくてい 状態 じょうたい 間 あいだ 部分 ぶぶん 繰 く 返 かえ 実行 じっこう 順次 じゅんじ 選択 せんたく 反復 はんぷく 描写 びょうしゃ 図 ず 青 あお 緑 みどり 制御 せいぎょ 構造 こうぞう 導入 どうにゅう 年 ねん 公開 こうかい ALGOL60 」まで遡 さかのぼ 当時 とうじ 広 ひろ 使 つか FORTRAN やCOBOL での正式 せいしき 導入 どうにゅう 年 ねん 以降 いこう 多 おお 開発 かいはつ 現場 げんば 馴染 なじ 年 ねん コラド・ベーム らが「順次 じゅんじ 選択 せんたく 反復 はんぷく 万能 ばんのう 性 せい 数学 すうがく 的 てき 証明 しょうめい 論理 ろんり 的 てき 研究 けんきゅう 参考 さんこう ダイクストラ の1968年 ねん 投書 とうしょ 文 ぶん 有害 ゆうがい 文 ぶん 論争 ろんそう 引 ひ 起 お 同時 どうじ 制御 せいぎょ 構造 こうぞう 関心 かんしん 大 おお 高 たか 年代 ねんだい 文 ぶん 多用 たよう 開発 かいはつ 現場 げんば 制御 せいぎょ 構造 こうぞう 普及 ふきゅう 重視 じゅうし IBM 社 しゃ ハーラン・ミルズ は、1969年 ねん 発表 はっぴょう 論文 ろんぶん 題名 だいめい 知名度 ちめいど 得 え 構造 こうぞう 化 か 自社 じしゃ 技術 ぎじゅつ 活用 かつよう 上述 じょうじゅつ 数学 すうがく 的 てき 証明 しょうめい 構造 こうぞう 化 か 定理 ていり 独自 どくじ 復刻 ふっこく 彼 かれ 勧 すす フローチャート 制御 せいぎょ 構造 こうぞう 裏付 うらづ 理論 りろん 構造 こうぞう 化 か IBM社 しゃ が提唱 ていしょう 構造 こうぞう 化 か 定理 ていり 論拠 ろんきょ 制御 せいぎょ 構造 こうぞう 用 もち 手法 しゅほう 世間 せけん 定着 ていちゃく
制御 せいぎょ 構造 こうぞう 導入 どうにゅう 言語 げんご 指 さ 構造 こうぞう 化 か 言語 げんご 浮上 ふじょう 年代 ねんだい 当時 とうじ 文 ぶん 中心 ちゅうしん FORTRAN やCOBOL やBASIC を意識 いしき 線引 せんひ 用語 ようご 存在 そんざい
構造 こうぞう 化 か 設計 せっけい [ 編集 へんしゅう ] 構造 こうぞう 化 か 設計 せっけい 一 いち 例 れい 上述 じょうじゅつ 制御 せいぎょ 構文 こうぶん 視点 してん 下流 かりゅう 工程 こうてい 構造 こうぞう 化 か 設計 せっけい 視点 してん 上流 じょうりゅう 工程 こうてい 構造 こうぞう 化 か 呼 よ 構造 こうぞう 化 か 設計 せっけい サブルーチン （subroutine）をまとめたサブルーチン複 ふく 合体 がったい 要素 ようそ データ構造 こうぞう （data structure）が主要 しゅよう 役割 やくわり 果 は 段階 だんかい 的 てき 詳細 しょうさい 化 か 則 のっと 複 ふく 合体 がったい 階層 かいそう 的 てき 組 く 合 あ 必要 ひつよう 構造 こうぞう 連携 れんけい 全体 ぜんたい 構築 こうちく 構造 こうぞう 化 か 設計 せっけい 複 ふく 合体 がったい プログラムモジュール （program module）とも読 よ 替 か 凝集 ぎょうしゅう 度 ど 結合 けつごう 度 ど 生 う
1974年 ねん 頃 ごろ 当初 とうしょ IBM社 しゃ が主導 しゅどう 形 かたち 構造 こうぞう 化 か 接頭 せっとう 辞 じ 数々 かずかず 発表 はっぴょう 年 ねん 発表 はっぴょう ジャクソンの構造 こうぞう 化 か -Jackson structured programming(JSP)-」、1975年 ねん 発表 はっぴょう 構造 こうぞう 化 か 設計 せっけい 年 ねん 発表 はっぴょう 構造 こうぞう 化 か 分析 ぶんせき 年 ねん 発表 はっぴょう 構造 こうぞう 化 か 分析 ぶんせき 設計 せっけい 技法 ぎほう 年代 ねんだい 発表 はっぴょう 構造 こうぞう 化 か 体系 たいけい 分析 ぶんせき 設計 せっけい 手法 しゅほう 年 ねん 発表 はっぴょう 構造 こうぞう 化 か 分析 ぶんせき 広 ひろ 普及 ふきゅう 著名 ちょめい 専門 せんもん 家 か エドワード・ヨードン 、トム・デマルコ などがいる。これらは「構造 こうぞう 化 か 開発 かいはつ 総称 そうしょう 年代 ねんだい 開発 かいはつ 主流 しゅりゅう
この構造 こうぞう 化 か 設計 せっけい ダイクストラ の構造 こうぞう 化 か 違 ちが 前者 ぜんしゃ 複 ふく 合体 がったい 構造 こうぞう 連携 れんけい 中心 ちゅうしん 対 たい 後者 こうしゃ 専属 せんぞく 通 とお 扱 あつか 抽象 ちゅうしょう 構造 こうぞう 中心 ちゅうしん 点 てん 後者 こうしゃ 段階 だんかい 的 てき 抽象 ちゅうしょう 化 か 各 かく 階層 かいそう 的 てき 連結 れんけつ 抽象 ちゅうしょう 構造 こうぞう 抽象 ちゅうしょう 連携 れんけい 共同 きょうどう 詳細 しょうさい 化 か 考 かんが 方 かた 提示 ていじ 詳細 しょうさい 後 こう 節 ふし 述 の 提唱 ていしょう 抽象 ちゅうしょう 指向 しこう 構造 こうぞう 化 か 思想 しそう 前衛 ぜんえい 性 せい 年代 ねんだい 通 とお 理解 りかい 得 え 発案 はつあん 者 しゃ 本来 ほんらい 構造 こうぞう 化 か 上流 じょうりゅう 工程 こうてい 視点 してん 普及 ふきゅう
第 だい 一幕 ひとまく
構造 こうぞう 化 か 誕生 たんじょう 年代 ねんだい 浮上 ふじょう ソフトウェア危機 きき 問題 もんだい 密接 みっせつ 結 むす 危機 きき 性能 せいのう 進化 しんか 伴 ともな 要求 ようきゅう 度 ど 高 たか 際限 さいげん 無 な 肥大 ひだい 化 か 複雑 ふくざつ 化 か 招 まね 近 ちか 現実 げんじつ 的 てき 期間 きかん 内 ない 開発 かいはつ 不可能 ふかのう 悲観 ひかん 的 てき 予測 よそく [注釈 ちゅうしゃく 実際 じっさい 年代 ねんだい 開発 かいはつ 現場 げんば 仕様 しよう 不一致 ふいっち 納期 のうき 遅 おく 予算 よさん 超過 ちょうか 事態 じたい 頻発 ひんぱつ [4] 当時 とうじ goto文 ぶん を多用 たよう 足 あし フローチャート によるものが大半 たいはん [5] スパゲティコード 化 か 多 おお 複雑 ふくざつ 怪奇 かいき 図 ず 化 か 珍 めずら [6] 年 ねん 計算 けいさん 機 き 科学 かがく 者 しゃ ハインツ・ツェマネク は、goto文 ぶん 多用 たよう 警鐘 けいしょう 鳴 な 論文 ろんぶん 発表 はっぴょう 年 ねん 公開 こうかい 言語 げんご ALGOL60 」は、BEGINとENDで区切 くぎ コードブロック を制御 せいぎょ 選択 せんたく 文 ぶん 反 はん 復文 ふくぶん 初 はじ 提供 ていきょう 計算 けいさん 機 き 科学 かがく 者 しゃ ニクラウス・ヴィルト はこれらを構造 こうぞう 化 か 文 ぶん 呼 よ [7] 年 ねん 計算 けいさん 機 き 科学 かがく 者 しゃ コラド・ベーム とジュゼッペ・ヤコピーニは、あらゆるフローチャートは順次 じゅんじ 選択 せんたく 反復 はんぷく 組 く 合 あ 表現 ひょうげん 数学 すうがく 的 てき 証明 しょうめい ベームとヤコピーニの証明 しょうめい と呼 よ [8] 計算 けいさん 機 き 科学 かがく 者 しゃ ドナルド・クヌース は、これらの潮流 ちょうりゅう 構造 こうぞう 化 か 文 ぶん 第 だい 一幕 ひとまく 定義 ていぎ [6]
第 だい 二 に 幕 まく
1968年 ねん 計算 けいさん 機 き 科学 かがく 者 しゃ エドガー・ダイクストラ のACM 機関 きかん 紙 し 投書 とうしょ 文 ぶん 有害 ゆうがい [9] 物議 ぶつぎ 醸 かも 題名 だいめい 界隈 かいわい 文 ぶん 論争 ろんそう 巻 ま 起 お [10] [11] 構造 こうぞう 化 か 文 ぶん 認知 にんち 度 ど 高 たか 貢献 こうけん [12] 構造 こうぞう 化 か 文 ぶん 第 だい 二 に 幕 まく 定義 ていぎ 第 だい 二 に 幕 まく 大 おお 多 おお 人 ひと 第 だい 一幕 ひとまく 評 ひょう [13] 年度 ねんど 開催 かいさい NATO ソフトウェア工学 こうがく 会議 かいぎ ソフトウェア危機 きき は正式 せいしき 用語 ようご [14] 産業 さんぎょう 界 かい 計算 けいさん 機 き 科学 かがく 共通 きょうつう 懸案 けんあん 事項 じこう [15] 翌 よく 年度 ねんど 開催 かいさい 同 どう 会議 かいぎ 構造 こうぞう 化 か [3] 題 だい 論文 ろんぶん 寄稿 きこう 構造 こうぞう 化 か 正式 せいしき 初出 しょしゅつ 論旨 ろんし 危機 きき 解決 かいけつ 策 さく ソフトウェア正当 せいとう 性 せい 検証 けんしょう 技術 ぎじゅつ 確立 かくりつ 適切 てきせつ 分割 ぶんかつ 抽象 ちゅうしょう 化 か 良 よ 構造 こうぞう 化 か 拡大 かくだい 関係 かんけい 正当 せいとう 性 せい 証明 しょうめい 具体 ぐたい 的 てき 手法 しゅほう トップダウン設計 せっけい 、段階 だんかい 的 てき 抽象 ちゅうしょう 化 か 階層 かいそう 的 てき モジュール化 か 、抽象 ちゅうしょう 構造 こうぞう 抽象 ちゅうしょう 連携 れんけい 共同 きょうどう 詳細 しょうさい 化 か 挙 あ 文 ぶん 抑制 よくせい 構造 こうぞう 化 か 文 ぶん 関 かん 事柄 ことがら 数 すう 行 ぎょう 留 とど [注釈 ちゅうしゃく 文 ぶん 論争 ろんそう 熱心 ねっしん 間 あいだ 論文 ろんぶん 昨年 さくねん 投書 とうしょ 延長 えんちょう 見 み 向 む 少 すく 存在 そんざい 後年 こうねん 構造 こうぞう 化 か 言葉 ことば 作 つく 際 さい 二 ふた 失敗 しっぱい 述 の 商標 しょうひょう 登録 とうろく 事 こと 厳密 げんみつ 定義 ていぎ 化 か 避 さ 事 こと [16] [15]
第 だい 三 さん 幕 まく
1960年代 ねんだい 構造 こうぞう 化 か 文 ぶん 第 だい 一幕 ひとまく 潮流 ちょうりゅう 産業 さんぎょう 界隈 かいわい 影響 えいきょう 及 およ 制御 せいぎょ 構造 こうぞう 名義 めいぎ フローチャート に導入 どうにゅう 産業 さんぎょう 市場 いちば 最大手 さいおおて IBM社 しゃ の上席 じょうせき 研究 けんきゅう 員 いん ハーラン・ミルズ は制御 せいぎょ 構造 こうぞう 重視 じゅうし ニューヨーク・タイムズ社 しゃ のニュースアーカイブシステム構築 こうちく 大 おお 成功 せいこう 収 おさ 順次 じゅんじ 選択 せんたく 反復 はんぷく 制御 せいぎょ 構造 こうぞう 社 しゃ 規範 きはん 通称 つうしょう 採用 さいよう 後 のち 同社 どうしゃ 技術 ぎじゅつ 通 とお 広 ひろ 流布 るふ [17] [18] 年 ねん 頃 ごろ 計算 けいさん 機 き 科学 かがく 者 しゃ 前述 ぜんじゅつ 数学 すうがく 的 てき 証明 しょうめい Structure theorem -構造 こうぞう 化 か 定理 ていり 」 という全 まった 新 あたら 題名 だいめい 付 つ 主 おも 産業 さんぎょう 開発 かいはつ 界隈 かいわい 紹介 しょうかい [19] [注釈 ちゅうしゃく 命名 めいめい 実 じつ 提案 ていあん 後 のち 明 あ [20] 構造 こうぞう 化 か 定理 ていり 合理 ごうり 性 せい 裏付 うらづ 根拠 こんきょ 盛 さか 引用 いんよう 構造 こうぞう 化 か 言 い 社 しゃ 発明 はつめい 品 ひん 信 しん 続出 ぞくしゅつ [21] 社 しゃ 年 ねん 頃 ごろ 発表 はっぴょう 所属 しょぞく 研究 けんきゅう 員 いん 開発 かいはつ 方法 ほうほう 論 ろん 数々 かずかず 構造 こうぞう 化 か 接頭 せっとう 辞 じ 付 つ 抽象 ちゅうしょう 化 か 重視 じゅうし 構造 こうぞう 化 か 異 こと 複 ふく 合体 がったい 構造 こうぞう 適切 てきせつ 連携 れんけい 構造 こうぞう 化 か 違 ちが 指摘 してき 本来 ほんらい 方式 ほうしき 改 あらた 紹介 しょうかい 動 うご 抽象 ちゅうしょう 化 か 指向 しこう 理論 りろん 産業 さんぎょう 界 かい 不人気 ふにんき [22] [23] [24] 言葉 ことば 借 か 構造 こうぞう 化 か 文 ぶん 第 だい 三 さん 幕 まく IBM社 しゃ とハーラン・ミルズ がプロモートした制御 せいぎょ 構造 こうぞう 舞台 ぶたい 構造 こうぞう 化 か 対 たい 世間 せけん 一般 いっぱん 認識 にんしき 方 ほう 定着 ていちゃく
終幕 しゅうまく
後年 こうねん 自身 じしん 作 つく 構造 こうぞう 化 か 言葉 ことば 不快 ふかい 感 かん 示 しめ 避 さ [25] 言葉 ことば 作 つく 時 とき 彼 かれ 手工 しゅこう 芸 げい 科学 かがく 発展 はってん 期待 きたい [16] 構造 こうぞう 化 か 言葉 ことば 実利 じつり 求 もと 使 つか [25] 次 つぎ 逸話 いつわ 構造 こうぞう 化 か 開発 かいはつ 第一人者 だいいちにんしゃ エドワード・ヨードン の事務所 じむしょ 依頼 いらい 電話 でんわ 全員 ぜんいん 構造 こうぞう 化 か 日 にち 叩 はた 欲 ほ 内容 ないよう 終 お 期間 きかん 半分 はんぶん 理由 りゆう 構造 こうぞう 化 か 生産 せいさん 性 せい 倍 ばい 話 はなし [26]
ダイクストラの構造 こうぞう 化 か [ 編集 へんしゅう ] 「Structured Programming」という言葉 ことば 作 つく 計算 けいさん 機 き 科学 かがく 者 しゃ エドガー・ダイクストラ であり、1969年 ねん 工学 こうがく 会議 かいぎ 発表 はっぴょう 論文 ろんぶん 初出 しょしゅつ 彼 かれ 年 ねん 自分 じぶん 作 つく 出 だ 構造 こうぞう 化 か 用語 ようご 結局 けっきょく 異 こと 解釈 かいしゃく 持 も 去 さ 述 の [27]
ダイクストラが提唱 ていしょう 構造 こうぞう 化 か プログラム正当 せいとう 性 せい 検証 けんしょう 技術 ぎじゅつ 確立 かくりつ 原点 げんてん 構想 こうそう 数々 かずかず 開発 かいはつ 理論 りろん 複 ふく 合体 がったい 遅 おそ 年 ねん 構想 こうそう 始 はじ 年 ねん goto文 ぶん に依存 いぞん 制御 せいぎょ 年 ねん トップダウン設計 せっけい 、抽象 ちゅうしょう 化 か モジュール化 か 、共同 きょうどう 詳細 しょうさい 化 か 始 はじ 年 ねん 抽象 ちゅうしょう 構造 こうぞう 情報 じょうほう 隠蔽 いんぺい 階層 かいそう 的 てき 構造 こうぞう 考 かんが 取 と 上 あ [28] [22] [17] 年 ねん 共著 きょうちょ 第 だい 一 いち 章 しょう 構造 こうぞう 化 か 始 はじ オルヨハン・ダール の第 だい 三 さん 章 しょう 階層 かいそう 的 てき 構造 こうぞう 締 し 括 くく ダール はオブジェクト指向 しこう 言語 げんご の草創 そうそう Simula67 の開発 かいはつ 者 しゃ
1968年 ねん 投書 とうしょ 文 ぶん 有害 ゆうがい [ 編集 へんしゅう ] 1968年 ねん ACM 機関 きかん 紙 し 投書 とうしょ [9] 当時 とうじ 間 あいだ 大 おお 論争 ろんそう 巻 ま 起 お 要約 ようやく 次 つぎ 通 とお
プログラマの仕事 しごと 正 ただ 作 つく 上 あ 時 とき 終結 しゅうけつ 実行 じっこう 委託 いたく 手 て 離 はな 内 ない 動作 どうさ 形態 けいたい 作 つく 替 か
私 わたし 人間 にんげん 能力 のうりょく 静的 せいてき 内容 ないよう 把握 はあく 向 む 内 ない 逐一 ちくいち 変化 へんか 動的 どうてき 状態 じょうたい 把握 はあく 向 む 従 したが 私 わたし 静的 せいてき 動的 どうてき 間 あいだ 埋 う そのためには、動的 どうてき 動態 どうたい 指標 しひょう 正確 せいかく 対応 たいおう 静的 せいてき 文体 ぶんたい 指標 しひょう 表現 ひょうげん 必要 ひつよう 先 さき 要求 ようきゅう 満 み 選択 せんたく 節 ぶし 反復 はんぷく 節 ぶし 方 ほう 適 てき
gotoとラベルを用 もち 選択 せんたく 文 ぶん 反 はん 復文 ふくぶん 記述 きじゅつ 状態 じょうたい 判定 はんてい 個々 ここ 並 なら 混乱 こんらん 原因 げんいん 特 とく 多用 たよう 取 と 除 のぞ 伴 ともな 使用 しよう 数 すう 削減 さくげん
ただし、前述 ぜんじゅつ 節 ふし 選択 せんたく 節 ぶし 反 はん 節 ふし 復 ふく 使用 しよう 徹底 てってい 必要 ひつよう 性 せい 訳 わけ 文 ぶん 論理 ろんり 冗長 じょうちょう 性 せい 証明 しょうめい 文 ぶん 削減 さくげん 明瞭 めいりょう 化 か 繋 つな 保証 ほしょう 推奨 すいしょう この投書 とうしょ 当時 とうじ 開発 かいはつ 現場 げんば 横行 おうこう 先 さき 安易 あんい 使用 しよう 警鐘 けいしょう 鳴 な 添 そ 学術 がくじゅつ 的 てき 注釈 ちゅうしゃく 文芸 ぶんげい 的 てき 比喩 ひゆ 数々 かずかず 却 かえ 読 よ 手 て 理解 りかい 妨 さまた 冒頭 ぼうとう 印象 いんしょう 先走 さきばし 文 ぶん 論争 ろんそう 発生 はっせい 投書 とうしょ 比較的 ひかくてき 気 げ 当時 とうじ 方々 かたがた 現場 げんば 目 め 多用 たよう 所感 しょかん 書 か 記 しる 元々 もともと 題名 だいめい 文 ぶん 訴 うった 時 とき 編集 へんしゅう 者 しゃ 挑戦 ちょうせん 的 てき 替 か 事 こと 真相 しんそう [29]
goto文 ぶん 論争 ろんそう 分野 ぶんや 一 ひと 流行 りゅうこう 年代 ねんだい 年代 ねんだい 長 ちょう 渡 わた 続 つづ 多 おお 馴染 なじ 深 ふか goto文 ぶん と構造 こうぞう 化 か 定理 ていり 応酬 おうしゅう 談義 だんぎ 定番 ていばん 後年 こうねん 著作 ちょさく 自分 じぶん 提唱 ていしょう 構造 こうぞう 化 か 本質 ほんしつ 一 ひと 投書 とうしょ 状態 じょうたい 遷移 せんい 適切 てきせつ 表現 ひょうげん 方法 ほうほう 把握 はあく 手段 しゅだん 確立 かくりつ [30]
1969年 ねん 論文 ろんぶん 構造 こうぞう 化 か [ 編集 へんしゅう ] 1969年度 ねんど NATO ソフトウェア工学 こうがく 会議 かいぎ 寄稿 きこう [3] プログラム正当 せいとう 性 せい の効率 こうりつ 的 てき 検証 けんしょう 技術 ぎじゅつ 重点 じゅうてん 置 お 当時 とうじ 問題 もんだい 視 し 際限 さいげん 肥大 ひだい 化 か ソフトウェア危機 きき の解決 かいけつ 策 さく 従来 じゅうらい ボトムアップ設計 せっけい からトップダウン設計 せっけい への移行 いこう 推奨 すいしょう
論文 ろんぶん 前半 ぜんはん 肥大 ひだい 化 か 伴 ともな 各 かく 部品 ぶひん 組 く 合 あ 際 さい 正当 せいとう 性 せい program correctness ）の立証 りっしょう demonstration ）に必要 ひつよう 労力 ろうりょく 指数 しすう 的 てき 増加 ぞうか 完遂 かんすい 不可能 ふかのう ソフトウェア危機 きき の問題 もんだい 述 の 正 ただ 対 たい 証明 しょうめい 与 あた 従来 じゅうらい 研究 けんきゅう 分析 ぶんせき 証明 しょうめい 手続 てつづ 考 かんが 書 か 証明 しょうめい 必要 ひつよう 労力 ろうりょく 対 たい 爆発 ばくはつ 与 あた 対 たい 証明 しょうめい 証明 しょうめい 構造 こうぞう 何 なに
後半 こうはん 方法 ほうほう 説明 せつめい 推論 すいろん 構造 こうぞう 順 じゅん 並 なら 挙 あ 文 ぶん 推論 すいろん 文 ぶん 個 こ 並 なら 場合 ばあい 乗 の 推論 すいろん 必要 ひつよう 文 ぶん 抽象 ちゅうしょう 置 お 換 か 段階 だんかい 的 てき 抽象 ちゅうしょう 化 か step-wise abstraction ）により、Nに比例 ひれい 推論 すいろん 正 ただ 示 しめ 制御 せいぎょ 制限 せいげん 制御 せいぎょ 構造 こうぞう 順次 じゅんじ 他 ほか 選択 せんたく 反復 はんぷく 手続 てつづ 呼 よ 出 だ 限 かぎ 順次 じゅんじ 選択 せんたく 反復 はんぷく 制御 せいぎょ 構造 こうぞう control structures ）に触 ふ 文節 ぶんせつ 例 れい 詳細 しょうさい 抽象 ちゅうしょう 化 か abstraction ）していくのではなく、逆 ぎゃく 抽象 ちゅうしょう 的 てき 始 はじ 詳細 しょうさい 化 か refinement ）していくというやり方 かた 示 しめ
詳細 しょうさい 化 か 際 さい 共同 きょうどう 詳細 しょうさい 化 か joint-refinement ）という考 かんが 方 かた 示 しめ 抽象 ちゅうしょう 構造 こうぞう 詳細 しょうさい 化 か 共 とも 扱 あつか 抽象 ちゅうしょう 同時 どうじ 詳細 しょうさい 化 か 分離 ぶんり 真珠 しんじゅ 呼 よ 抽象 ちゅうしょう 的 てき 真珠 しんじゅ 段階 だんかい 具体 ぐたい 的 てき 真珠 しんじゅ 依存 いぞん 真珠 しんじゅ 具体 ぐたい 的 てき 真珠 しんじゅ 依存 いぞん 例 たと 上部 じょうぶ 下部 かぶ 関 かか 正 ただ 証明 しょうめい 下部 かぶ 取 と 替 か 労力 ろうりょく 作 つく
1972年 ねん 共著 きょうちょ 構造 こうぞう 化 か [ 編集 へんしゅう ] 1972年 ねん 共著 きょうちょ [31] 計算 けいさん 機 き 科学 かがく 界 かい 三 さん 名 めい 三 さん 章 しょう 構成 こうせい 第 だい 一 いち 章 しょう 第 だい 二 に 章 しょう アントニー・ホーア の「data structuring」、第 だい 三 さん 章 しょう オルヨハン・ダール の「hierarchical program structures」となっていた。結 むす 章 しょう 階層 かいそう 的 てき 構造 こうぞう 著 あらわ Simula67 の開発 かいはつ 者 しゃ 指向 しこう 草分 くさわ 章 しょう 名 めい 継承 けいしょう 階層 かいそう 構造 こうぞう 重視 じゅうし 構造 こうぞう 化 か 制御 せいぎょ 構文 こうぶん 構造 こうぞう 化 か 定理 ていり 構造 こうぞう 化 か 設計 せっけい 影 かげ 隠 かく 指向 しこう 発展 はってん 歴史 れきし 組 く 込 こ 受 う 継 つ 言 い 年 ねん C++ を開発 かいはつ ビャーネ・ストロヴストルップ は「What Is Object-Oriented Programming?[32] 指向 しこう 抽象 ちゅうしょう 構造 こうぞう 階層 かいそう 的 てき 構造 こうぞう 発展形 はってんけい 解説 かいせつ 同時 どうじ 言語 げんご 仕様 しよう 紹介 しょうかい
ダイクストラ提唱 ていしょう 構造 こうぞう 化 か 支持 しじ ドナルド・クヌース は、1974年 ねん 自著 じちょ [6] 発表 はっぴょう 中 なか 本質 ほんしつ 関 かん 補足 ほそく 解説 かいせつ 加 くわ 当時 とうじ 文 ぶん 論争 ろんそう 一 ひと 区切 くぎ 付 つ 幅広 はばひろ 認知 にんち 得 え 到 いた 文 ぶん 論争 ろんそう 年代 ねんだい 散発 さんぱつ 的 てき 繰 く 広 ひろ 年代 ねんだい 後半 こうはん マイコン が普及 ふきゅう BASIC などを扱 あつか 増 ふ 命令 めいれい 使 つか 構造 こうぞう 化 か 見解 けんかい 取 と 上 あ 再 ふたた 議論 ぎろん 始 はじ 論争 ろんそう 影響 えいきょう 後年 こうねん 根強 ねづよ 残 のこ [注釈 ちゅうしゃく
プログラム正当 せいとう 性 せい 検証 けんしょう 構造 こうぞう 化 か 年 ねん [ 編集 へんしゅう ] ダイクストラは、プログラマは正 ただ 作 つく 出 だ 納得 なっとく 方 かた 正 ただ 証明 しょうめい 検証 けんしょう 仕事 しごと 一 ひと 立場 たちば 取 と [33] 巨大 きょだい 化 か 良 よ 構造 こうぞう 化 か 関係 かんけい 正当 せいとう 性 せい 検証 けんしょう [34] 彼 かれ 信念 しんねん [注釈 ちゅうしゃく [35] 論理 ろんり 式 しき 因 ちな 数理 すうり 論 ろん 理学 りがく 証明 しょうめい 論 ろん 導入 どうにゅう 意図 いと 込 こ 年 ねん 良 よ 構造 こうぞう 化 か 三 みっ 示 しめ
列挙 れっきょ 一人 ひとり 人間 にんげん 能力 のうりょく 範囲 はんい 命令 めいれい 妥当 だとう 性 せい 一 ひと 一 ひと 確認 かくにん 作業 さぎょう 数学 すうがく 的 てき 帰納 きのう 文 ぶん 計算 けいさん 機 き 特有 とくゆう 多数 たすう 繰 く 返 かえ 文 ぶん 数学 すうがく 的 てき 帰納 きのう 法 ほう 用 もち 確認 かくにん 作業 さぎょう 抽象 ちゅうしょう 名前 なまえ 中身 なかみ 見 み 正 ただ 仮定 かてい 検証 けんしょう 作業 さぎょう 後回 あとまわ 操作 そうさ プログラムが正 ただ 確認 かくにん 証明 しょうめい [3] [注釈 ちゅうしゃく 対 たい 疑 うたが 全 すべ 取 と 除 のぞ 不十分 ふじゅうぶん 意見 いけん 上 あ [7] [37] 存在 そんざい 示 しめ 有効 ゆうこう 存在 そんざい 証明 しょうめい 表現 ひょうげん 好 この 用 もち [3] [38] [39] [40] [41] 構造 こうぞう 化 か 支持 しじ 者 しゃ 正 ただ 重要 じゅうよう 性 せい 証明 しょうめい 方法 ほうほう 表明 ひょうめい 使 つか 方 かた 熱心 ねっしん 説 と [4] [31] [7] [37] [42] 理想 りそう 的 てき 依存 いぞん 正 ただ 証明 しょうめい 与 あた 言 い [43] [44] 所与 しょよ 正 ただ 後 こう 付 づ 証明 しょうめい 証明 しょうめい 意識 いしき 作 つく 場合 ばあい 難 むずか 経験 けいけん 的 てき 知 し [45] 同時 どうじ 証明 しょうめい 証明 しょうめい 先行 せんこう 進 すす 推奨 すいしょう [46] 正当 せいとう 性 せい 問題 もんだい 複雑 ふくざつ 問題 もんだい 知的 ちてき 管理 かんり 可能 かのう 述 の [注釈 ちゅうしゃく 形式 けいしき 的 てき 証明 しょうめい 時 とき 非 ひ 人間 にんげん 的 てき 長 なが 記述 きじゅつ 認 みと [46] [15] 同氏 どうし 証明 しょうめい 形式 けいしき 的 てき 意見 いけん 明 あき [46] [6] [注釈 ちゅうしゃく
構造 こうぞう 化 か 定理 ていり 関係 かんけい [ 編集 へんしゅう ] 1970年代 ねんだい 初頭 しょとう 計算 けいさん 機 き 科学 かがく 者 しゃ デビッド・ハレル （英語 えいご 版 ばん 年 ねん 発表 はっぴょう ベーム とヤコピーニの数学 すうがく 証明 しょうめい 構造 こうぞう 化 か 定理 ていり 全 まった 新 あたら 付 つ 主 おも 産業 さんぎょう 開発 かいはつ 界隈 かいわい 紹介 しょうかい 後 のち 明 あ 構造 こうぞう 化 か 定理 ていり 名称 めいしょう 当時 とうじ IBM社 しゃ の上席 じょうせき ハーラン・ミルズ の提案 ていあん [20] 提唱 ていしょう 内容 ないよう 全 まった 異 こと 制御 せいぎょ 構造 こうぞう 順次 じゅんじ 選択 せんたく 反復 はんぷく 主体 しゅたい 構造 こうぞう 化 か 社 しゃ 採用 さいよう 同社 どうしゃ 主催 しゅさい 技術 ぎじゅつ 通 とお 当時 とうじ 広 ひろ 流布 るふ 中 なか 恐 おそ 意図 いと 的 てき 名称 めいしょう 似 に 構造 こうぞう 化 か 定理 ていり 彼 かれ 勧 すす 制御 せいぎょ 構造 こうぞう 合理 ごうり 性 せい 数学 すうがく 的 てき 証明 しょうめい 根拠 こんきょ 盛 さか 引用 いんよう 経緯 けいい 制御 せいぎょ 構造 こうぞう 使用 しよう 構造 こうぞう 化 か 定理 ていり 同一 どういつ 視 し 文 ぶん 有害 ゆうがい 説 せつ 誤解 ごかい 構造 こうぞう 化 か 同一 どういつ 視 し 文 ぶん 論争 ろんそう 中 なか 引 ひ 合 あ 出 だ 構造 こうぞう 化 か 定理 ていり 見 み 誤解 ごかい
なお、ベームとヤコピーニの証明 しょうめい 表現 ひょうげん 関数 かんすう 理論 りろん 的 てき 側面 そくめん 注目 ちゅうもく 任意 にんい 論理 ろんり 回路 かいろ NAND 素子 そし 組 く 合 あ 表現 ひょうげん ラムダ式 しき がSとKの2つのコンビネータ によって表現 ひょうげん 研究 けんきゅう 近 ちか 回路 かいろ 設計 せっけい 者 しゃ 直接 ちょくせつ 組 く 合 あ 電子 でんし 回路 かいろ 設計 せっけい 同 おな 構造 こうぞう 化 か 定理 ていり 良 よ 作成 さくせい 少 すく 直接的 ちょくせつてき 意図 いと 構造 こうぞう 化 か 定理 ていり 実際 じっさい 内容 ないよう 以上 いじょう 引用 いんよう 民間 みんかん 伝承 でんしょう 定理 ていり 化 か 指摘 してき [20]
ダイクストラの後述 こうじゅつ [ 編集 へんしゅう ] ダイクストラは2001年 ねん What led to “Notes on Structured Programming” 」(構造 こうぞう 化 か 表記 ひょうき 由来 ゆらい 述 の
1968年 ねん 自分 じぶん 文 ぶん 訴 うった 題 だい 記事 きじ ACM の機関 きかん 紙 し 投稿 とうこう 当期 とうき 刊行 かんこう 急 いそ 編集 へんしゅう 担当 たんとう 者 しゃ 意向 いこう 投書 とうしょ 事 こと 更 さら 担当 たんとう 者 しゃ 独自 どくじ 考 かんが 文 ぶん 有害 ゆうがい 全 まった 新 あたら 題名 だいめい 付 つ 担当 たんとう 者 しゃ ニクラウス・ヴィルト であった。また、自分 じぶん 提唱 ていしょう 構造 こうぞう 化 か 本質 ほんしつ 的 てき 内容 ないよう 普及 ふきゅう 好 この 某社 ぼうしゃ ハーラン・ミルズ の主導 しゅどう 文 ぶん 廃止 はいし 手法 しゅほう 矮小 わいしょう 化 か 構造 こうぞう 化 か 用語 ようご 持 も 去 さ
注釈 ちゅうしゃく
^ ソフトウェア危機 きき の始 はじ 構造 こうぞう 化 か 歴史 れきし [4] 第 だい 章 しょう 詳 くわ ^ "statements transferring control to labelled points" という言葉 ことば 一応 いちおう 文 ぶん 触 ふ [3]
^ Harel,David (1980)."On Folk Theorems"(PDF) のP381の左 ひだり 列 れつ 中央 ちゅうおう 未 み 公表 こうひょう 講義 こうぎ 資料 しりょう 中 なか 名付 なづ 書 か 資料 しりょう 出典 しゅってん 年 ねん 構造 こうぞう 化 か 定理 ていり 発明 はつめい 年代 ねんだい 初頭 しょとう 推測 すいそく ^ 直接 ちょくせつ 無関係 むかんけい 批判 ひはん 急先鋒 きゅうせんぽう 普及 ふきゅう 以前 いぜん 年代 ねんだい 既 すで 教育 きょういく 強 つよ 主張 しゅちょう wikiquote:Edsger W. Dijkstra#How do we tell truths that might hurt? (1975) ）。^ すなわち、プログラム検証 けんしょう 構造 こうぞう 化 か 不可分 ふかぶん 関係 かんけい
^ D.グリースはプログラムの正 ただ 証明 しょうめい 抽象 ちゅうしょう 的 てき 正当 せいとう 性 せい 証明 しょうめい 具体 ぐたい 的 てき 検証 けんしょう 言葉 ことば 使 つか 分 わ [36] 厳密 げんみつ 区別 くべつ
^ ダイクストラはプログラミングと証明 しょうめい 並行 へいこう 適 てき 最 さい 弱 じゃく 事前 じぜん 条件 じょうけん 検証 けんしょう 方法 ほうほう 考案 こうあん 論理 ろんり 作 つく 終 お 証明 しょうめい 作 つく 指標 しひょう 与 あた [47]
^ 形式 けいしき 化 か 点 てん 当時 とうじ 構造 こうぞう 化 か 形式 けいしき 手法 しゅほう 趣 おもむ 異 こと 正 ただ 証明 しょうめい 帰納 きのう 法 ほう 最 さい 弱 じゃく 事前 じぜん 条件 じょうけん 検証 けんしょう 指 さ 形式 けいしき 的 てき 証明 しょうめい 方法 ほうほう 証明 しょうめい [43] 良 よ 入門 にゅうもん 書 しょ 一 ひと 出典 しゅってん
^ “構造 こうぞう 化 か 用語 ようご 辞典 じてん IT用語 ようご 辞典 じてん . 2020年 ねん 月 がつ 日 にち 閲覧 えつらん ^ “構造 こうぞう 化 か 意味 いみ 説明 せつめい 解説 かいせつ 用語 ようご 辞典 じてん yougo.ascii.jp . 2020年 ねん 月 がつ 日 にち 閲覧 えつらん ^ a b c d e f E. W. Dijkstra, “Structured Programming”, In Software Engineering Techniques , B. Randell and J.N. Buxton, (Eds.), NATO Scientific Affairs Division, Brussels, Belgium, 1970, pp. 84–88.
^ a b c グリース, D. 筧 かけい 捷 とし プログラミングの科学 かがく . 培風館 ばいふうかん ISBN 4563007943
^ 山崎 やまざき 利治 としはる 流 なが 図 ず プログラムの設計 せっけい , 共立 きょうりつ 出版 しゅっぱん ISBN 4320023781 ^ a b c d Knuth, D. E. (1974). “Structured Programming with go to Statements Computing Surveys”. ACM, New York, NY, USA 6 (4): 261-301. CiteSeerx : 10.1.1.103.6084 .
^ a b c N.ヴィルト, 系統 けいとう 的 てき 入門 にゅうもん 野下 のげ 浩平 こうへい 筧 かけい 捷 とし 武市 たけいち 正人 まさと 訳 やく 近代 きんだい 科学 かがく 社 しゃ
^ Böhm, C.; Jacopini, G (1966). “Flow Diagrams, Turing Machines And Languages With Only Two Formation Rules”. Communications of the ACM (ACM, New York, NY, USA) 9 (5): 366-371. CiteSeerx : 10.1.1.119.9119 . ^ a b E. Dijkstra (1968). “Go To Statement Considered Harmful”. Communications of the ACM 11 (3): 147-148. CiteSeerx : 10.1.1.132.875 .
^ E.W.ダイクストラ 木村 きむら 泉 いずみ 訳 やく GO TO 論争 ろんそう 第 だい 部 ぶ 文 ぶん 有害 ゆうがい 説 せつ , 7 , 共立 きょうりつ 出版 しゅっぱん ^ B.リーヴェンワス編 へん 論争 ろんそう 第 だい 部 ぶ 論争 ろんそう bit (共立 きょうりつ 出版 しゅっぱん 7 (5): 10-26 ^ 木村 きむら 泉 いずみ 論争 ろんそう 第 だい 部 ぶ 解説 かいせつ bit , Vol.7, Issue 5, 1975, pp.27-39, 共立 きょうりつ 出版 しゅっぱん ^ 有澤 ありさわ 誠 まこと 訳 やく 文芸 ぶんげい 的 てき ^ B. Randell and J.N. Buxton, (Eds.), Software Engineering , NATO Scientific Affairs Division, Brussels, Belgium, 1969. ^ a b c E.W.ダイクストラ (1977), “プログラミング−工芸 こうげい 科学 かがく 情報処理 じょうほうしょり 情報処理 じょうほうしょり 学会 がっかい 18 (12): 1248-1256, NAID 110002753409
^ a b 和田 わだ 英一 ひでかず 語 かた bit , Vol.9, Issue 1, 1977, pp.4-6, 共立 きょうりつ 出版 しゅっぱん
^ a b 山崎 やまざき 利治 としはる 構造 こうぞう 的 てき プログラムの設計 せっけい , 共立 きょうりつ 出版 しゅっぱん
^ 玉井 たまい 哲雄 てつお “ソフトウェア工学 こうがく 年 ねん (PDF), 情報処理 じょうほうしょり 49 (7): 777-784, NAID 110006830060 , http://www.graco.c.u-tokyo.ac.jp/~tamai/pub/40yearsSE.pdf ^ Linger,R.C., Mills, H.D., Witt, B.I., Structured Programming: Theory and Practice , Addison-Wesly, 1979.
^ a b c Harel, David (1980-07-01). “On folk theorems” . Communications of the ACM 23 (7): 379–389. http://portal.acm.org/citation.cfm?doid=358886.358892 .
^ Edward Nash Yourdon ed., "Introduction (Chief Programmer Team Management of Production Programming)", Classics in Software Engineering , YOURDON inc., 1979, pp.63-64.
^ a b 木村 きむら 泉 いずみ 方法 ほうほう 論 ろん 問題 もんだい 点 てん 超 ちょう 職業 しょくぎょう 的 てき 情報処理 じょうほうしょり 情報処理 じょうほうしょり 学会 がっかい 16 (10): 841-847. NAID 110002720277 .
^ 木村 きむら 泉 いずみ 米澤 よねざわ 明憲 あきのり 算法 さんぽう 表現 ひょうげん 論 ろん 岩波書店 いわなみしょてん ^ D.シャシャ, C.ラゼール, "エズガー・W・ダイクストラ", コンピュータの時代 じだい 開 ひら 天才 てんさい , 鈴木 すずき 良 りょう 尚 なお 訳 わけ 竹内 たけうち 郁雄 いくお 監訳 かんやく 日経 にっけい 社 しゃ ISBN 4822280462
^ a b 中山 なかやま 晴康 はるやす 教授 きょうじゅ 日間 にちかん bit , Vol.9, Issue 1, 1977, pp.7-9, 共立 きょうりつ 出版 しゅっぱん
^ Edward Nash Yourdon, 構造 こうぞう 化 か 手法 しゅほう 開発 かいはつ 黒田 くろだ 純一郎 じゅんいちろう 渡部 わたなべ 研一 けんいち 訳 やく 日経 にっけい 社 しゃ
^ “What led to “Notes on Structured Programming” ”. 2020年 ねん 月 がつ 閲覧 えつらん ^ 筧 かけい 捷 とし 用 よう 言語 げんご 情報処理 じょうほうしょり 情報処理 じょうほうしょり 学会 がっかい 16 (10): 856-863. NAID 110002720279 . ^ “E.W. Dijkstra Archive: What led to "Notes on Structured Programming" (EWD1308) ”. www.cs.utexas.edu . 2021年 ねん 月 がつ 日 にち 閲覧 えつらん ^ E.W.ダイクストラ, W.H.J.フェイエン, プログラミングの方法 ほうほう , 玉井 たまい 浩 ひろし 訳 やく 社 しゃ
^ a b O.-J. Dahl and E. W. Dijkstra and C. A. R. Hoare, Structured Programming , Academic Press, London, 1972
^ Bjarne Stroustrup, “What Is Object-Oriented Programming?”, In IEEE Software , Vol. 5, Issue. 3, IEEE Computer Society Press, Los Alamitos, CA, USA, 1988, pp. 10-20
^ 構造 こうぞう 化 か ^ D.グリースはプログラムの正 ただ 証明 しょうめい 抽象 ちゅうしょう 的 てき 正当 せいとう 性 せい 証明 しょうめい 具体 ぐたい 的 てき 検証 けんしょう 言葉 ことば 使 つか 分 わ 厳密 げんみつ 区別 くべつ 金山 かなやま 裕 ひろし 編 へん 構造 こうぞう 的 てき 批判 ひはん 支持 しじ bit , Vol.7, Issue 7, 1975, pp.6-13, 共立 きょうりつ 出版 しゅっぱん ^ 所与 しょよ 正 ただ 後 こう 付 づ 証明 しょうめい 証明 しょうめい 意識 いしき 作 つく 場合 ばあい 難 むずか 経験 けいけん 的 てき 知 し 言 い E.W.Dijkstra, "Programming methodologies, their objectives and their nature", Structured Programming , Infotech state of the art report, 1976, pp.205-212, Infotech International. ^ 金山 かなやま 裕 ひろし 編 へん 構造 こうぞう 的 てき 批判 ひはん 支持 しじ bit , Vol.7, Issue 7, 1975, pp.6-13, 共立 きょうりつ 出版 しゅっぱん ^ a b R.Geoff Dromey, How to Solve it by Computer , Prentice Hall, 1982.
^ E.W.ダイクストラ, “謙虚 けんきょ ACMチューリング賞 しょう 講演 こうえん 集 しゅう , 木村 きむら 泉 いずみ 訳 やく 共立 きょうりつ 出版 しゅっぱん
^ E.W.Dijkstra, "The Programming Task Considered as an Intellectual Challenge", 1969. ^ E.W.Dijkstra, "Concern for Correctness as a Guiding Principle for Program Composition", 1970. ^ E.W.Dijkstra, "Programming as a discipline of mathematical nature", 1973. ^ John C. Reynolds, The Craft of Programming , Prentice-Hall, 1981. ^ a b ロバート B.アンダーソン, 演習 えんしゅう 証明 しょうめい 有沢 ありさわ 誠 まこと 訳 やく 近代 きんだい 科学 かがく 社 しゃ
^ 小野 おの 寛 ひろし プログラムの基礎 きそ 理論 りろん , サイエンス社 しゃ ^ E.W.Dijkstra, "Programming methodologies, their objectives and their nature", Structured Programming , Infotech state of the art report, 1976, pp.205-212, Infotech International.
^ a b c E.W.ダイクストラ, プログラミング原論 げんろん , 浦 うら 昭治 しょうじ 訳 やく 社 しゃ
^ 二木 ふたき 厚吉 こうきち 監修 かんしゅう ソフトウェアクリーンルーム手法 しゅほう , 日 にち 科技 かぎ 連 れん
E.W.ダイクストラ; C.A.R.ホーア; O.-J.ダール 著 ちょ 野下 のげ 浩平 こうへい 訳 やく 構造 こうぞう 化 か 社 しゃ 年 ねん 落水 おちみず 浩 ひろし 一郎 いちろう 工学 こうがく 実践 じっせん 基礎 きそ 分析 ぶんせき 設計 せっけい D.L.Parnas (1975), Use of the concept of transparency in the design of hierarchically structured systems , http://ivizlab.sfu.ca/arya/Papers/SW/TranspDesignHierSys.pdf D.L.Parnas (1971), Information Distribution Aspects of Design Methodology , http://cseweb.ucsd.edu/~wgg/CSE218/Parnas-IFIP71-information-distribution.PDF B.H.Liskov, S.N.Zilles (1974), Programming with Abstract Data Type , http://www.znu.ac.ir/members/afsharchim/lectures/p50-liskov.pdf 金 きむ 藤 ふじ 栄 さかえ 孝 こう 二木 ふたき 厚吉 こうきち 多重 たじゅう 脱出 だっしゅつ 文 ぶん 是非 ぜひ 理論 りろん 観点 かんてん , https://ci.nii.ac.jp/naid/110002712129 金 きむ 藤 ふじ 栄 さかえ 孝 こう 二木 ふたき 厚吉 こうきち 有限 ゆうげん 状態 じょうたい 機械 きかい 基 もと 文使 ふみづかい 用 よう 是非 ぜひ 論理 ろんり 観点 かんてん , https://ci.nii.ac.jp/naid/110002712260 林 はやし 達也 たつや システム設計 せっけい 言語 げんご , https://ci.nii.ac.jp/naid/110002719409 D.グリース 著 ちょ 筧 かけい 捷 とし 訳 やく 科学 かがく 培風館 ばいふうかん 年 ねん Donald E. Knuth 著 ちょ 有澤 ありさわ 誠 まこと 訳 やく 第 だい 章 しょう 文 ぶん 用 もち 構造 こうぞう 化 か 文芸 ぶんげい 的 てき 年 ねん E.W.ダイクストラ 著 ちょ 浦 うら 昭治 しょうじ 訳 やく 原論 げんろん 社 しゃ 年 ねん E.W.ダイクストラ; W.H.J.フェイエン 著 ちょ 玉井 たまい 浩 ひろし 訳 やく 方法 ほうほう 社 しゃ 年 ねん 関連 かんれん 人物 じんぶつ
言語 げんご 水準 すいじゅん 言語 げんご 処理 しょり 系 けい 言語 げんご 分類 ぶんるい その他 た 関連 かんれん 項目 こうもく
