Redundanz

僕の言葉は、人と話をするためにあるんじゃない。

0531

 昨日全然眠れなかったので、一日中頭痛がしていました。とりあえずコーヒーを飲んで、大学で相対論の自習。ローレンツ変換の導出部分を(自分なりの方法で)復習していたのですが、どうも僕は、一体どのような操作をどのようなものに適用すればよいのかを理解していないようで、なかなか進みませんでした。考えるべきは、S系から見たS'系の点がどのようになるかなのだ、ということが、どうにも腑に落ちてくれないのです。こういうのをすんなり理解できる人もいるのかと思うと、自分の頭の悪さがかなしいです。それと式を読むこと上手く出来ない。これはもう少し頑張って何とかすべきことのように思います。とりあえずは意識的に、言葉に直してゆこう。

 適当に数学の講義を受けて帰宅。しばらく寝ると割と頭痛がなくなりました。

 明日はまず午前中にサークルの先輩が企画した甘いもの食べる企画に参加して、フジテレビで開催される脱出ゲームイベントのデバッグに参加させていただき、Twitterでの知り合いに回らん寿司を奢ってもらうというよく分からない日程になっています。楽しみで眠れそうにないぜ。(振り出しに戻る)