Module: 単調関数の二分探索