分野別セミナー

Magma とは, 豪シドニー大学を中心として開発・運営が進められている計算機代数システムであり, とくに整数論・多項式代数に特化した研究者向けのツールである. 九大数理には2008年に導入され, この10年でユーザが大きく拡大した. その間 Magma は最先端の数学的対象を取り込み続け, 講演者もその一端を contributor として開発している. 本講演ではまず Magma の導入を初心者向けに行い, この10年の進展（何か新しく計算可能になったか）を概観する. また他の数式処理システムと比較し, Magma のメリット・デメリットを率直に述べる. 時間が許せば, 現時点で世界最速のオープンシステムの紹介と, 今後の展望についても述べたい.