数理音楽，キューブ群（３年ゼミ）

本日一つ目，数理音楽．
先週から突入したトライアドのトポス解釈．
対象が射になったり，射が対象になったり，と
文脈ごとにクルクル頭を切り替えないといけない．
モノイドの元を射と思い出したところから既にヤヤコシサが始まっていた．
う～ん，なかなかカテゴリー星人には成りきれない．


本日二つ目，ルービックキューブ群．
先週渡したキューブ群の本，読めるかどうかの確認．
テキスト自体，話題が散在していることもあって，
なかなか意味が読み取れないらしい．
ルービックキューブ群の第一基本定理について，
その意味（言われてみれば当たり前のこと）と，
付随して登場する道具立てに入った．

ああ，でも来月から実習なんだよね．その間にお互い忘れてしまうかなぁ...

The Topos of Music: Geometric Logic of Concepts, Theory, and Performance