https://monobook.org/w/index.php?action=history&feed=atom&title=%E4%BA%8B%E5%89%8D%E6%9D%A1%E4%BB%B6 2026-06-04T04:28:12Z このウィキのこのページに関する変更履歴 MediaWiki 1.42.1 https://monobook.org/w/index.php?title=%E4%BA%8B%E5%89%8D%E6%9D%A1%E4%BB%B6&diff=22488&oldid=prev 2024-09-26T05:49:21Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ja"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2024年9月26日 (木) 05:49時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l13">13行目:</td> <td colspan="2" class="diff-lineno">13行目:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[契約による設計]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[契約による設計]]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">== 参考文献 ==</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[category: プログラミング]]</ins></div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">&lt;references/&gt;</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">== 外部リンク ==</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">{{stub}}</del></div></td><td colspan="2" class="diff-side-added"></td></tr> <!-- diff cache key monobook-mw_:diff:1.41:old-2627:rev-22488:php=table --> </table>

Administrator https://monobook.org/w/index.php?title=%E4%BA%8B%E5%89%8D%E6%9D%A1%E4%BB%B6&diff=2627&oldid=prev 2012-07-24T05:28:44Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ja"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2012年7月24日 (火) 05:28時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">1行目:</td> <td colspan="2" class="diff-lineno">1行目:</td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''事前条件'''（じぜんじょうけん）とは、「[[契約による設計]]」における条件のひとつで、[[サブルーチン]]<del style="font-weight: bold; text-decoration: none;">の呼び出し時に、これを「呼ぶ側」が保証すべき性質（条件）のことである。</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''事前条件'''（じぜんじょうけん）とは、「[[契約による設計]]」における条件のひとつで、[[サブルーチン]]<ins style="font-weight: bold; text-decoration: none;">の呼び出し時に、これを「呼び出す側」が保証すべき性質（条件）のことである。</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== 概要 ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== 概要 ==</div></td></tr> <!-- diff cache key monobook-mw_:diff:1.41:old-2626:rev-2627:php=table --> </table>

115.65.13.113 https://monobook.org/w/index.php?title=%E4%BA%8B%E5%89%8D%E6%9D%A1%E4%BB%B6&diff=2626&oldid=prev 2012-07-24T05:28:10Z

<p>ページの作成：「&#039;&#039;&#039;事前条件&#039;&#039;&#039;（じぜんじょうけん）とは、「<a href="/wiki/%E5%A5%91%E7%B4%84%E3%81%AB%E3%82%88%E3%82%8B%E8%A8%AD%E8%A8%88" title="契約による設計">契約による設計</a>」における条件のひとつで、<a href="/wiki/%E3%82%B5%E3%83%96%E3%83%AB%E3%83%BC%E3%83%81%E3%83%B3" title="サブルーチン">サブルーチン</a>の呼び出し時に...」</p> <p><b>新規ページ</b></p><div>&#039;&#039;&#039;事前条件&#039;&#039;&#039;（じぜんじょうけん）とは、「[[契約による設計]]」における条件のひとつで、[[サブルーチン]]の呼び出し時に、これを「呼ぶ側」が保証すべき性質（条件）のことである。<br /> <br /> == 概要 ==<br /> [[静的型付け言語]]では[[サブルーチン]]の[[引数]]に[[データ型]]を指定することで、呼び出し側において想定外の[[データ型]]が指定されれば[[コンパイルエラー]]となる。<br /> <br /> これに加え、[[契約による設計]]における事前条件は、その[[引数]]の[[データ]]の中身まで厳密に規定しておくというものである。たとえば[[境界値チェック]]や[[nullチェック]]などがこれにあたる。なお[[オブジェクト指向プログラミング言語]]であれば[[引数]]のみならず[[フィールド変数]]などもチェック対象となる。<br /> <br /> これらの[[データ]]のチェックをおこなう処理を、[[契約による設計]]に対応した[[プログラミング言語]]（[[Eiffel]]や[[D言語]]など）の構文や、専用[[フレームワーク]]（[[.NET]]の[[コードコントラクト]]など）を使用して[[ソースコード]]を記述しておくことで、[[サブルーチン]]の「呼び出し側」において範囲外となるパターンが存在しないかを[[静的解析ツール]]などと呼ばれる専用ツールをもちいて事前にチェックすることができる。<br /> <br /> たとえば[[静的解析]]と[[コンパイラ]]が一体化した[[プログラミング言語]]であれば、本来はいつ発生するかわからない[[実行時エラー]]となりえる部分が、[[プログラム]]を動かす前に[[コンパイルエラー]]となるため、[[プログラム]]の品質を著しく高めることができる。<br /> <br /> == 関連項目 ==<br /> * [[契約による設計]]<br /> <br /> == 参考文献 ==<br /> &lt;references/&gt;<br /> <br /> == 外部リンク ==<br /> <br /> {{stub}}</div>

115.65.13.113