物理の具体的な計算にMaximaを使って、物理もMaximaも同時に学んでしまいましょう。今回はMaximaを使ってリーマン幾何学＆一般相対性理論の計算をしてみたいと思います。具体的には、球対称で静的な場合のアインシュタイン方程式の解として知られるde Sitter…