
前回から微分の練習に入りました。微分は「機械的に」解ける、ことが多いのでただただMaxima様におすがりすれば他力本願、「答え」はでます。でも前回みたとおりでそのままの結果では人間的にはイマイチ。前回は三角関数を含むものまでだったので、今回は指数関数、対数関数を含むものを練習しますです。
デバイス作る人>>デバイス使う人>>デバイスおたく
前回から微分の練習に入りました。微分は「機械的に」解ける、ことが多いのでただただMaxima様におすがりすれば他力本願、「答え」はでます。でも前回みたとおりでそのままの結果では人間的にはイマイチ。前回は三角関数を含むものまでだったので、今回は指数関数、対数関数を含むものを練習しますです。
今回から微分に入ります。微分こそ他力本願、ただただMaxima様におすがりすれば「機械的」に微分が出来ると。しかぁし!複雑な式でも難なく微分していただけるMaxima様ですが、微分した結果は、人間的に言うとチト汚かったりいたします。「所望の」形に持ち込むには何か別なお願いをせにゃならんと。 “忘却の微分方程式(62) 反復練習25、微分はできるけれど後がメンドイ、Maxima” の続きを読む
今回も他力本願、Maxima様におすがりすれば、極限の計算のお答えをいただけます。しかし、今回はちょっと条件を指定しないと計算できない類の問題であります。そのときに活躍するのが assume とな。assumeすれば楽。でもassumeしているばかりでは後を引くので forget もせにゃならんと。能天気だな、自分。 “忘却の微分方程式(61) 反復練習24、assumeとforgetでlimit、Maxima” の続きを読む
前回から極限のお勉強。前回はそれでも右方と左方、infinityとかundなどという特殊シンボルの出現もあり多少の波乱?があったです。しかし今回、sin, cos, log, eなど「スター」が続々登場するのですがまったく波乱なし。Maxima様にお願いすれば、何も考えることなくお答えが求まってしまいます。他力本願。
“忘却の微分方程式(60) 反復練習23、limitの続き、Maxima” の続きを読む
前回までで線形代数の教科書1冊の練習完了(練習したのはMaxima様で、私は身についていないケド)。今回より微積分の練習に入ります。微積といえば、最初に登場するのは極限ですな。以前に一度やっておるのでありますが忘却の彼方。あれれ、右方極限とか左方極限とかどうやって計算(Maxima様にお願い)するのだったっけ? “忘却の微分方程式(59) 反復練習22、右方極限、左方極限、不定形、Maxima” の続きを読む
前回つい手がすべってタイトルに「その1」と書いてしまったので今回は「その2」です。蛇足な感じがしないでもないです。参照させていただいております線形代数の教科書(馬場先生)では3次の正方行列のジョルダン標準形をいくつかに分類し、それぞれに解法を懇切に示されているのです。しかし、当方手順は前回と同じ。いいのかそんなことで。
前回まで、「対角化」などを「それなりに手順」を踏んで行ってきました。今回のジョルダン標準形への変換はどうしようか迷いました。そのものズバリのJordan行列を扱うパッケージ diag をloadすれば、ほぼ1撃で変換できてしまう。まあ、出来ることをわざわざ刻むことも無し、お楽が一番。手順のみ確認させていただきます。 “忘却の微分方程式(57) 反復練習20、ジョルダン標準形への変換その1” の続きを読む
前回、「エルミート行列をユニタリ行列を用いて対角化」をやってみました。実数の対称行列について過去やったのと手順はほぼ同じですが、エルミートと聞いただけで記憶が忘却の彼方に飛ぶ感じがします。今回はもう一度同じ手順を練習。行列は3x3にサイズアップ?大して変わらんけど。気持ちの問題。
前回は「数学風?」列ベクトル表記にこだわって処理してみましたが、今回、早くも列ベクトル断念。やりたいことにピッタシの関数があったのですが、処理は行単位デス。行ベクトルというかリスト表現のままの方が処理は簡潔に書けますものね。それでグラム・シュミットの直交化法じゃ、と。 “忘却の微分方程式(51) 反復練習15、グラム・シュミットの直交化法、Maxima” の続きを読む