わんこ 現在Google Playで配布中のMaxima on Androidで、defruleで定義したルールをapply1やapply2, applyb1などを使って適用しても、実は適用がうまく実行されないことが分かりました。 この手のバグは、静的リンクがうまくいっていないことに起因すること…