式の比較 Richardson の使った式 (5 本) Charney たちの使った式 (1 本)