半直線の長さ...