比較の二分探索を実装