10マイルの長さにするのに必要な爪楊枝の数