いまさら『数学ガール／ガロア理論』を読んだ時の話

Qiita で面白い記事を見つける。

• Swiftで代数学入門 〜 1. 数とは何か？ - Qiita

前にも書いたが，私の母国語はアセンブラとC言語である。 これは私の出自が「制御システム」だからである。 なので，組み込み系はもちろん業務アプリケーションでも「いかに対象を制御するか」を念頭に置いてプログラミングを行っている。 しかし「関数型言語」は「制御」に関してはどうにも具合が悪い。 いや，もちろん Erlang のような優れた言語もあるし，決して「関数型言語」が制御に向かないわけではないのだが，シャンタッ君並に小さい私の脳みそが「関数型言語」のコードをノイマン型コンピュータのインストラクションに上手く「コンパイル」してくれないのである。

でもようやく近年になって少し見方が変わってきて，「対象を制御する」のではなく「対象を記述する」手段としてプログラミングを考えるようになってきた。 そういう意味で「数学を記述する」この連載は教科書としてうってつけである。 Swift は Apple 製ということで Objective-C 並に毛嫌いしていたが（仕事ならやりますよ，もちろん），オープンソースになったことだし， iOS 以外にも使えるのならちょっと勉強してみようかと思っていたところなのだった。

そういえば「ガロア理論」って「数学ガール」シリーズでもやってたなぁ… と思って昔のブログ記事を探しまわったが，ない。 あれ？ 読書感想文を書いてないじゃん，私。 そういや2012年頃ってエラい仕事が忙しくて「ガロア理論」もすぐには読めなかったんだっけ。 やっちまったなぁ。

というわけで前置きが長くなったが，今更『数学ガール／ガロア理論』の感想文を書いてみる。 もう多少ネタバレしててもいいよね。

---

今回はやはりミルカさん回か。 いやユーリちゃんも今回はいい感じだったんだけどね。 終盤のミルカさんの「教師」っぷりには思わず「ミルカさんも大人になったなぁ」とホロリとしてしまった。 しかし，それよりもリサちゃん（「ちゃん」は不要）の出番が少ないです！ もっと出してください。

今回の話は「ガロア理論」だけあって「教師と生徒」を一方の軸として物語が進んでいく。 さらに主要キャラクター達が教師役と生徒役とで立ち位置を入れ替え（置換）ていくのが面白い。 また「教師と生徒」というのは著者の結城浩さんの言う「対話」形式のひとつだ。 こういう幾重にも重なった「協奏（concerto）」は音楽的でもある。

実は群論についてはあまり真面目に勉強しなかったんだよなぁ。 大学の講義でちょろんと習った覚えはあるけど，それだけ。 私にとって数学は単なる「道具」で，道具の中身を弄くり回すことについては興味が薄かった。

だから「あみだくじ」から話が始まって「これはラグランジュ分解式だな」と分かっても，そこから先にどう展開するか読めない。 でも逆にそれが私にとって面白かったようだ。 今回この記事を書くために再読したが，やっぱりワクワクしながら読めた。

改めて読んで気づいたんだけど，「数学ガールの秘密ノート」シリーズは「数学ガール」シリーズの「補題」になってるんだね。 とくに昨年出た「ベクトルの真実」やさらにその前の「丸い三角関数」なんかは今回の「ガロア理論」と直接リンクしている。

というわけで，以前に「ガロア理論」の中身がよく分からなかったって方は「数学ガールの秘密ノート」シリーズを読んでから再読してみると理解が進むかもしれない。 そんで「ガロア理論」を読んだら改めて最初のリンク先の記事へ GO！