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

// QEの計算アルゴリズムとその応用―数式処理による最適化 作者:穴井 宏和,横山 和弘 出版社/メーカー: 東京大学出版会 発売日: 2011/08/25 メディア: 単行本 更に続けて、上記の本のp37に紹介されている京大の入試問題。線形計画法と（線形ではない）計画法…

// ハゴロモジャスミン ehitoさんのブログ maximaのロジックシステム（６） - ATPとCASのこと で「分母≠0の付帯」を考慮した処理の仕方をMaxima上で実現する方法が示されました。シンタックスシュガーが工夫されていて面白いです。今、ratsimpx2.mac及びqepm…

// QEの計算アルゴリズムとその応用―数式処理による最適化 作者:穴井 宏和,横山 和弘 出版社/メーカー: 東京大学出版会 発売日: 2011/08/25 メディア: 単行本 上記の本のp33に載っている東北大2010年理系の入試問題をQepmaxで解いてみます。 「 \( f(x)=x^3+…

// QEの計算アルゴリズムとその応用―数式処理による最適化 作者:穴井 宏和,横山 和弘 出版社/メーカー: 東京大学出版会 発売日: 2011/08/25 メディア: 単行本 続けてQ.E.で問題を解いてみます。 上記の本のp32の練習問題です。 実数x,y,zがx+y+z=3, xy+yz+zx…

// QEの計算アルゴリズムとその応用―数式処理による最適化 作者:穴井 宏和,横山 和弘 出版社/メーカー: 東京大学出版会 発売日: 2011/08/25 メディア: 単行本 次は上記の本のp30に載っている練習問題(問題1.1)です。 実数x, yが下記の式El (%o2)を満たす時、…

// QEの計算アルゴリズムとその応用―数式処理による最適化 作者:穴井 宏和,横山 和弘 出版社/メーカー: 東京大学出版会 発売日: 2011/08/25 メディア: 単行本 上記の本の中にはQ.E.の例題が豊富に載っています。この本ではそれらの例題を、実際にQ.E.処理系…