マインドマップ日記9

昨日は写真を貼っただけで力尽きてしまった。いつもああいう謎の記号だらけのを書いていると言う誤解があるといけないので、脳内で全く整理されてない情報がどうマップされるのかって言う例を。

なんで普段載せないかというと、べつにこんなの見ても面白くないだろーと思うから。絵もないしね。

絵を描かなければいけないって制約は、たとえば生産性のような、わかっているつもりだけど実は曖昧な概念を具体化させるには有効だ。でもそもそもまだわかってない概念については絵の描きようがない。数式が一般的な記法で描かれているのも、まだどう咀嚼したらいいかがわからないから。

昨日貼り忘れていた写真。ブロック行列に関する記法はかなり噛み砕かれてきた。電車の中で描いた証明。

これは途中で間違った方向に走ってたので清書も載せておく。帰ったら数式で清書してみるか。

---

を証明する。まずA+BDCを左から掛ける。

この第3項に注目する。逆行列の部分を消したい。まずは逆行列の手前A^{-1}Bの部分を前のカッコに入れる。

消したい逆行列部分とCA^{-1}Bという共通する要素があることに気付け。相違に注目するとBが共通にあって、Dのない項とDがある項とD^{-1}とがあることに気付け。BをBDD^{-1}に変形する。

とこれBDでくくれば残りはちょうど逆行列の部分と同じ形

なので逆行列は無事に消えて

さて、eq. 2を見直してみると、

よってeq. 1が証明された。

この「気付け」の部分が数式で書いてあるより絵で描いてあったほうが「あ、／□＼が並んでる」って気付きやすいと思うんだが、どうだろう？

これって速読の出来る人とできない人の違いに似ていると思う。「しーえーいんばーすびー」って読んでいるとサイズが大きくて脳の一時メモリからあふれやすいが、「(／+／■＼□／)(■+＼□／)」だと見るからに似たような構造があるじゃん？