>>178
>案１：”途中で式が爆発して，メモリ管理に関わるエラーを引き起こす”は、多分Risa/Asirを使った場合と思うが、途中の式を簡約化して、メモリー制限内にできないかどうか？例えば、ある式の大きさになれば簡約プログラムを走らすとか

式の簡約については、下記に記述があるね
おれば思いつくこと・・というか、こんな話をどこかで読んでいて、それを想起しただけと思うが、ご参考。
現場現物という思想からすれば、まず爆発がどのように起こっているかを知ることが出発点と思うね
http://www.lib.kobe-u.ac.jp/repository/thesis/d2/D2002848.pdf
竹島卓 著 - ?2005
数式処理システム Risa/Asir の開発と応用 学位論文 P211