本日一つ目，数理音楽． いよいよ，Nollの論文もトポスの話に突入． 圏論独特の表現に二人して困惑． そうか，subobject classifierはこうやって使うんだね． 本日二つ目，ルービックキューブの数理． ツクダ式の操作法，残った部分の紹介の後， さすがにと…