３年ゼミ開始，和音のトポス（３年ゼミ）

３年全体ゼミ開始．まずはやりたいことについて決まっている人は各自紹介．

スポーツの数理．早速テキストを読み始めていたらしい．ノートが作られていた．
典型的な力学の世界．そこに最適化数学を絡めて行けたら数学になるかな．

サッカーのシュートコースについて．４代目が一度やった話題*1だったが，
さて，呑気にピースしてる場合かと．

ルービックキューブ群の話．こちらは夏休みから始めていて，こちらで何度か紹介している．
そういえば手際を披露してもらった．６面完成で65秒．おぉ．

そして和音のトポス．非常に難解な理論なんだけど頑張ってやってきている．
こちらも夏から何度もやってきたものだ．

で，色んなルービックキューブに触れるゼミ生．
あ，そういえば実習の話何にもしなかったなぁ．

午後，他のゼミ生が帰ってから和音のトポス．



一体これのどこが音楽なのか，と思うのだが，和音の概念配置を行っているんだ．
でも，Subobject classifier の解釈でやや戸惑う．
そして，monoid action下という限定がどう反映されているのか，
２つの論文を行き来しながら何とか解釈に挑んだ３時間．ふぅ．

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

*1:小野田 政之：なぜ止められないのか？ --サッカー日本代表 遠藤選手のコロコロPKの秘密--