1. Introduction 2. Risa/Asir 3. 型 4. ユーザ言語 Asir 5. デバッガ 6. 組み込み函数 7. 分散計算 8. グレブナ基底の計算 9. 代数的数に関する演算 10. 有限体に関する演算 A. 付録 索引