浮動小数点型の二分探索についてはいろいろと議論があります。 背景 本題 単純な撃墜ケース それっぽい例 他の例 まとめ おまけ あとがき おわり 背景 下記のような形式の問題を考えます。 実数に関する述語 $P\colon \R\to\{0, 1\}$ と $x_L, x_R\in\R$ が…