行列を作らず行列を買う

今日の買い物。

電気機関車。
スーパーユーロビート。
カーバッテリーアダプター。
そして

線形代数。すなわち、行列。
行列。高校時分「代数」や「１次変換」に苦しめられた人あるだろうし、大学の一般教養数学で泣く目にあった方もいるはずだ。そしてどちらもこう思ったハズである。

「こんなの習ったところで何に使うんだ」

「こうやって行列使うと連立１次方程式が簡単に表現できるんだぞ」
自慢げに語る数学教員。しらける生徒達。
まぁ確かに、

問　

標準モードで１２０分録画できるVHSビデオテープに１３０分の映画を録画することを考える。
なるべく長い時間標準モードで録画し、どうにも足りない部分のみ３倍モード録画としたい。
標準モードで録画を開始した場合、何分録画したところで３倍へ切り替えればよいか。

なんてのは連立方程式だ。だがわざわざ行列で表現して解く人はおるまい。

そんなんだから、当然オレも単位さえもらえばいいや状態で殆ど忘れかけたところであった。
が、仕事で扱うことになった。
出てくるのだ。逆行列とか余因子行列とか。

最も、一昔前ならこんな計算、絵空事かそれこそ「数学のテストのために」存在してるんじゃ？と思うシロモノであった。実際オレの大学の線形代数の前期試験は７×７の正方行列が２こドーンドーンとあって。それぞれ
「行列式を計算せよ」
「逆行列を求めよ」
だった。しかも学生なら間違った場合試験落ちましたボッシュートちゃらっちゃらっちゃ～んびよよ～んで終わるが、仕事の場合不良品の量産とか人命に関わることになりかねない。

そんな状況を変えたのがロータス１２３に始まる（あえてエクセルと書かない)表計算ソフトスプレッドシートだ。
要するにあのタテヨコの表はそのまんま行列世界なのだ。
例えば逆行列が関数一発で出せる。ｎ×ｍの演算は行側なり列側なりを拘束しておいてコピペ一発。
（重要：エクセルの逆行列関数は、小数点演算のケタ繰りの影響で時々ウソつく。ちゃんと元行列とかけ算して単位行列になることを確認した方が良いです）。
このことはアホみたいな数方程式解く「学問」を「技術手段」へ変えた。オレも試験的にマハラノビス演算してみて、実態を反映していてニヤニヤしている（SN比はまだ出してない）。
電子工学はミクロな回路の集合体ICを生みだし、ICは膨大な回路を要求する精密工作を容易にし、現代の情報化社会を導いた。
同じような流れ・胎動を、この行列演算の容易化に今オレは見ている。そしてその最先端に今オレはいる……のか？

黒猫の三角。

問の回答

標準モードで録画する時間をｘ分。３倍モードのそれをｙ分と置く。
映画の放送時間に関しては

ｘ　＋　ｙ　＝　１３０　【１】

テープの録画時間は、全て標準モードで録画した、と換算する必要がある。３倍モードの場合３分録画して標準モード１分ぶんなので、３倍モードで録画中の換算録画時間は（１／３）ｙである。従って、標準モードに換算した録画時間は

ｘ　＋　（１／３）ｙ　＝　１２０　【２】

【１】式をｘについて解く。

ｘ　＝　１３０　－　ｙ　【３】

【３】のｘを【２】式へ代入

（１３０　－　ｙ）　＋　（１／３）ｙ　＝　１２０
１３０　－　ｙ　＋　（１／３）ｙ　＝　１２０

移項して整理すると

１３０　－　１２０　＝　ｙ　－　（１／３）ｙ
１０　＝　（２／３）ｙ
１０　÷　（２／３）　＝　ｙ
１０　×　（３／２）　＝　ｙ
１５　＝　ｙ

３倍モード１５分。従って【３】より標準モードは

１３０　－　１５　＝　１０５

より１１５分

解

標準モード１１５分
３倍モード１５分

（終）

まぁ、もう使うことないだろうけどさ。こんな方程式。