formula_17の場合、針と線が交差する確率は