DEP*1を有効に設定していると、こんなエラーが出る事があるようです。 フロントエンド「wmMaxima」を立ち上げた直後の画面*2。 wmMaximaってのは、maximaのフロントエンドです。(こっちは落ちません。) 肝心のエラー画面は、こんな感じ。 (wmMaximaが裏でmax…