>>882
単位円の一部の弧長