差分
ナビゲーションに移動
検索に移動
← 古い編集
事前条件
6 バイト追加
,
2012年7月24日 (火) 05:28
編集の要約なし
'''事前条件'''(じぜんじょうけん)とは、「[[契約による設計]]」における条件のひとつで、[[サブルーチン]]
の呼び出し時に、これを「呼ぶ側」が保証すべき性質(条件)のことである。
の呼び出し時に、これを「呼び出す側」が保証すべき性質(条件)のことである。
== 概要 ==
匿名利用者
115.65.13.113
案内メニュー
個人用ツール
ログインしていません
トーク
投稿記録
アカウント作成
ログイン
名前空間
ページ
議論
変種
表示
閲覧
編集
ソースを編集
履歴表示
その他
検索
案内
メインページ
最近の更新
未作成ページ
おまかせ表示
ヘルプ
ツール
特別ページ