<algorithm>ヘッダ is_sorted説明誤りを修正