暖かいから、家にいるときには靴下をはかないよ

靴下

　暖かくなってきたので、家で過ごすときには靴下をはかなくなりました。しかしなんともしっくりこない。冬の間ずっと靴下をはいてすごしていたものですから、足が何かに包まれていないとどうも落ち着かないんですよね。だからといって、もう春なのに厚手の靴下を引っ張り出すのも少し違う気がして、なんとなく居場所のない足先を持て余しています。

　こういうことは様々な規模感で起こりますよね。例えば、ふと呼吸を意識しだしてしまうと、無意識に呼吸をする方法を忘れてしまったり。あるいは、いつも使ってたマグカップが壊れたときとか、どうやって飲んでいたのか忘れてしまいますね。

　結局のところ、人間というのは「慣れ」によって自分の輪郭を保っているのだと強く実感させられます。たったの靴下が変わるだけで、あの頼りない感覚に包まれてしまうわけですから。慣れというものがいかに重要なのか思い知らされました。

そもそも数学は大変な営み

　数学の自主ゼミで『ガロア圏と基本群』という和書を読み始めました。行間が広かったり、1章の3節で無限次ガロア理論の話が入ってくるのでかなり重たい本です。ゼミは僕ともう一人だけの小規模のもので、じっくり進めています。もう一人の人とは「ゼミとはどうあるべきか？」みたいなのを度々議論し合うので、なんとなくゼミ感が共有されていてやりやすいです。

　ゼミの中でも、やっぱり自分の言葉で言い直すという工程は非常に重要なように思えます。発表者は自信が付きますし、より本質的なことを補足しやすくなります。そのためにはやはり、少し厳しいですが資料を見ずに発表できるようにすることは重要なように思えます。そうすれば、自ずと自分の言葉で表現せざるを得なくなりますし、脳内で整理されて教科書に書いてある情報の重要度も区別がつきます。

　かなりストイックと言われればそうですが、力を付けたいのならば数学は多少の血を流して行った方が良いと思います。（海外の謎の数学コーチ(?)みたいな人もそう言っていました： Math Won’t Love You Back Until You Bleed for It ）数学を学ぶのには大量の時間が必要ですし、丁寧に学ぶのには強い根気が必要です。河東先生の、『セミナーの準備のしかたについて』はよく厳しいと言われますが、そもそも数学とはこれくらい大変な行いなのだと思います。何も不思議なことは書いてないように見えます。試行錯誤しながら、自分のものとしてガロア圏と基本群を語れるようになるために、じっくりと力強くゼミを進めていきたいと思っています。

有限単純群の分類

　最近は少しだけ時間があるので、動画制作をずっとしています。正直飽きたのでもうやめたいですが、とりあえず完成はさせたいと思います。なんなんでしょう、動画制作をしている時、大抵楽しいのは最初だけであとはずっと苦行です。だいたい半分を作り終えたあたりで、既に今作っている動画にはたくさんの後悔が発見され、次の動画を作って挽回したいという気持ちが強く湧いてきます。

　今作っている動画は、有限単純群の分類の歴史についてのものです。内容自体は、数学科の僕にとってはめちゃめちゃ面白いです。ちょっとしたトリビア的な内容、例えば位数2000以下の群の99%以上は位数1024の群である（これは、p-群が非常に豊かな構造を持ち、解析が複雑なことを示唆する）こととか、モジュラー表現のメリットとデメリット及びデメリットをどう回避したのか？などはとても面白いです。あとは、単純に名前を聞いたことのある数学者がいっぱい出てきて、めっちゃアツいです。そして何より、シンプルに人類が天才すぎてすごいです。あれやこれやと巧みな方法で群を攻略していく様は圧巻でしょう。

　たくさんゲームとか読書したいんですけど、とりあえずは動画を完成させたいと思います...。

椎名林檎が神

　やっぱり椎名林檎だけは本当に別格。「カリスマってこういうことなんだ」ってなった人生で唯一の対象が、椎名林檎です。 King Gnu × 椎名林檎 - W●RK (King Gnu Dome Tour THE GREATEST UNKNOWN at TOKYO DOME)これとかやばくないですか？かっこよすぎるほんとに。最近久しぶりに聴いたんですけど、やっぱりめちゃくちゃかっこいい。

　最近聴いているのは、椎名林檎 – 人生は夢だらけです。かっこよすぎる。うん、本当に人生は夢だらけですよ。歌に素養がないのでこれを表現する言葉があるのかはわかりませんが、リズムをすくうような歌い方、丁寧にしっとり歌いつつも、輪郭が立っているような声がたまりません。

春休みが...

　終わっちゃう；；

　ねえやだよ、春休み終わらないでよ。どうして、どうして？春休みくんはボクのこと嫌いなの...？だって、2か月もずっと仲良くしてきたじゃないか。急に、もうやめようって、どういうこと？