110.135.123.197の投稿記録

2013年2月4日 (月)

• 15:332013年2月4日 (月) 15:33 差分 履歴 +9 構造化プログラミング プログラムの大きさにサイズの一語を追加
• 15:242013年2月4日 (月) 15:24 差分 履歴 −472 構造化プログラミング 歴史の記述としては文献(Dijkstra 1970)の解説が細かいので、同文献からキーワードを抜き出した

2013年1月28日 (月)

• 18:042013年1月28日 (月) 18:04 差分 履歴 0 構造化プログラミング 証明・検証の用語についての注釈を少し前に移動
• 17:562013年1月28日 (月) 17:56 差分 履歴 +60 構造化プログラミング 証明・検証についての注釈を補足
• 17:502013年1月28日 (月) 17:50 差分 履歴 +734 構造化プログラミング 構造化プログラミングの概念に取り上げられる主要なものの説明を引用した
• 17:332013年1月28日 (月) 17:33 差分 履歴 −5 構造化プログラミング 出典の参照名のみ修正
• 17:252013年1月28日 (月) 17:25 差分 履歴 +9 構造化プログラミング 見出しの「構造化文」に「三つの」を書き加えた
• 17:232013年1月28日 (月) 17:23 差分 履歴 +389 構造化プログラミング ホーアの構造化プログラミング入門の序文を引用
• 17:082013年1月28日 (月) 17:08 差分 履歴 +22 構造化プログラミング 構造化文を見出しに
• 17:062013年1月28日 (月) 17:06 差分 履歴 +112 構造化プログラミング 三つの構造に対するヴィルトの呼び名について記述した
• 12:052013年1月28日 (月) 12:05 差分 履歴 +437 構造化プログラミング 証明の経験則についての記述を追加
• 11:182013年1月28日 (月) 11:18 差分 履歴 0 構造化プログラミング 記述の整合性をとるための修正
• 11:162013年1月28日 (月) 11:16 差分 履歴 +248 構造化プログラミング 証明と検証の言葉の使い分けについて注釈を追加

2013年1月27日 (日)

• 09:312013年1月27日 (日) 09:31 差分 履歴 +58 構造化プログラミング ダイクストラの形式的に関する発言についてクヌースの文献も出典に加えた
• 09:202013年1月27日 (日) 09:20 差分 履歴 +42 構造化プログラミング 断定的になってしまった文章表現の修正
• 03:062013年1月27日 (日) 03:06 差分 履歴 −175 構造化プログラミング 原論のダイクストラの言及が別の場所に別れてしまったのでまとめた
• 02:392013年1月27日 (日) 02:39 差分 履歴 +3 構造化プログラミング 単語を引用元の表現に合わせるための細かい修正
• 02:272013年1月27日 (日) 02:27 差分 履歴 −15 構造化プログラミング 細かい文章表現の修正
• 02:252013年1月27日 (日) 02:25 差分 履歴 +551 構造化プログラミング その他の話題にグリースの著書についての記述を追加
• 01:162013年1月27日 (日) 01:16 差分 履歴 +12 構造化プログラミング 参考文献の訳者の記述方法の誤りを修正
• 01:142013年1月27日 (日) 01:14 差分 履歴 +213 構造化プログラミング 参考文献に構造化プログラミングの和書を追加
• 01:052013年1月27日 (日) 01:05 差分 履歴 +39 構造化プログラミング 証明について説明する引用文献にダイクストラの著書を追加
• 00:432013年1月27日 (日) 00:43 差分 履歴 +28 構造化プログラミング 単行本書名の引用の書式を修正
• 00:312013年1月27日 (日) 00:31 差分 履歴 +115 構造化プログラミング 異なる構造化プログラミングについて引用文献の追加

2013年1月26日 (土)

• 07:332013年1月26日 (土) 07:33 差分 履歴 −68 構造化プログラミング "How to Solve it by Computer"の引用の重複を修正
• 07:002013年1月26日 (土) 07:00 差分 履歴 +39 構造化プログラミング 「プログラミング−工芸から科学へ」の外部リンクを追加
• 06:542013年1月26日 (土) 06:54 差分 履歴 +40 構造化プログラミング プログラミング方法論の問題点への外部リンクを追加
• 06:472013年1月26日 (土) 06:47 差分 履歴 +75 構造化プログラミング 引用文献に人名を記入し忘れていたので修正
• 06:132013年1月26日 (土) 06:13 差分 履歴 +44 構造化プログラミング ロバートの著書へのリンクを追加
• 06:042013年1月26日 (土) 06:04 差分 履歴 +9 構造化プログラミング 構造化プログラミングの擁護者らの活動に補足
• 05:562013年1月26日 (土) 05:56 差分 履歴 −3 構造化プログラミング タイプミスの修正
• 05:522013年1月26日 (土) 05:52 差分 履歴 −12 構造化プログラミング 文章表現の細かい修正
• 05:492013年1月26日 (土) 05:49 差分 履歴 +11 構造化プログラミング 表明の対訳を追加
• 05:402013年1月26日 (土) 05:40 差分 履歴 +9 構造化プログラミング 文章表現の細かい修正
• 05:382013年1月26日 (土) 05:38 差分 履歴 +5,658 構造化プログラミング 「プログラムの正しさの証明」についての解説を追加
• 04:442013年1月26日 (土) 04:44 差分 履歴 −3 構造化プログラミング 引用文献の細かい修正
• 04:272013年1月26日 (土) 04:27 差分 履歴 −7 構造化プログラミング プログラミング原論の引用からページ番号を削除
• 04:032013年1月26日 (土) 04:03 差分 履歴 −32 構造化プログラミング 「プログラミングの科学」の引用を一部修正
• 01:502013年1月26日 (土) 01:50 差分 履歴 +337 構造化プログラミング What led to “Notes on Structured Programming”からの引用をもう一つ追加

2013年1月25日 (金)

• 16:012013年1月25日 (金) 16:01 差分 履歴 +3 構造化プログラミング てにをはの修正のみ
• 15:552013年1月25日 (金) 15:55 差分 履歴 +346 構造化プログラミング ソフトウェア危機に説明を補足追加

2013年1月24日 (木)

• 11:512013年1月24日 (木) 11:51 差分 履歴 +67 構造化プログラミング 1980以降の歴史に細かい補足と修正
• 11:442013年1月24日 (木) 11:44 差分 履歴 +30 構造化プログラミング IPTについての出典を追加
• 11:292013年1月24日 (木) 11:29 差分 履歴 +22 構造化プログラミング ダイクストラが用語を避けるようになったという出典の誤りを修正

2013年1月23日 (水)

• 14:052013年1月23日 (水) 14:05 差分 履歴 +24 構造化プログラミング 要検証に細かい加筆
• 13:482013年1月23日 (水) 13:48 差分 履歴 +1,096 構造化プログラミング 9th ICSEでのMillsの発言を引用
• 12:092013年1月23日 (水) 12:09 差分 履歴 −8 構造化プログラミング 引用の書式の細かい修正
• 12:062013年1月23日 (水) 12:06 差分 履歴 +510 構造化プログラミング ダイクストラの来日講演をもとに、歴史にNATO会議(1968)についての記述を追加
• 11:242013年1月23日 (水) 11:24 差分 履歴 +271 構造化プログラミング 構造化定理の出典を記載

2013年1月22日 (火)

• 11:472013年1月22日 (火) 11:47 差分 履歴 +6 構造化プログラミング 文章表現の細かい修正