1.0.0.1 例題1:

二分法によって、方程式 $\cos x - x=0$ の解を計算せよ。