algorithm: upper_bound の要件を C++03 と C++11 に分けて追記

kariya-mitsuru · kariya-mitsuru · commit b2fd98f946ce · 2015-02-11T12:49:35.000+09:00
diff --git a/reference/algorithm/upper_bound.md b/reference/algorithm/upper_bound.md
@@ -16,7 +16,17 @@ namespace std {
 
 
 ##要件
-`[first,last)` の要素 `e` は `!(value < e)` または `!comp(value, e)` によって[区分化](/reference/algorithm.md#sequence-is-partitioned)されていなければならない。
+- C++03 まで
+	- `first`、`last` は前方向イテレータの要件を満たすこと。
+	- `comp` は 2 引数の関数オブジェクトで、結果の型は `bool` 型に変換可能であること。また、引数に非 `const` の関数を適用しないこと。
+	- `T` は　`LessThanComparable` であること。
+	- `operator<` または `comp` は「[狭義の弱順序](../algorithm.md#strict-weak-ordering)」であること。
+	- 範囲 `[first, last)` は `operator<` または `comp` を基準として昇順に並んでいること。
+- C++11 から
+	- `first`、`last` は前方向イテレータの要件を満たすこと。
+	- `comp` は 2 引数の関数オブジェクトで、結果の型は `bool` 型に変換可能であること。また、引数に非 `const` の関数を適用しないこと。
+	- `[first,last)` の要素 `e` は `!(value < e)` または `!comp(value, e)` によって[区分化](/reference/algorithm.md#sequence-is-partitioned)されていること。  
+		つまり、`!(value < e)` または `!comp(value, e)` が `true` となる全ての要素 `e` は、`false` となる全ての要素よりも左側（`first` に近い方）になければならない。
 
 
 ##戻り値
