TTPC2023 D - HackMD
原点から距離 r と距離 r’ の球面を考えます。
hackmd.io