数理音楽理論のDiscordサーバーを作りました．理論の学習や，それらの基礎付け・体系化に関心がある人たちの交流を目的としています．自分のツイートには招待リンクを載せていませんが，単に自分のアカウントでTLに流したくないだけなので，興味のある方はDM…

最近こういう文化を知ったので、今年印象に残った音楽を書き散らします。 ボーカロイド クラシック・現代音楽 ジャズ まとめ

CEED Advent Calendar 2022の23日目の記事「一般化されたPCセットの形式的定義」です．この記事は後日断りなく修正されます．github.com

今巷で大流行のアレのように，それまであった世界の境界が次第に破壊されていくのは，自分が音楽理論の発展に見出しているものと共通しており，だから自分にとっては嬉しいことなのだけど，それでも安らかにはなれないのだろうな，と思った．それはただ自分…

考えることについて，自分の限界はかなり低いという実感がある．皆さん本質的な洞察や的確な言葉やとげとげしい修辞などを駆使して表明を行う能力があり結構なことですねと思う．自分はそれ以上考えることができないので，それだけで終わる．たぶん自分は普…

norimuji.hatenablog.jp この記事を書いてから9か月以上が経つので，達成具合や無理具合をチェックしてみる． 証明論と集合論を勉強する，普遍代数学を勉強する まずこの時普遍代数学をやりたがっていたことを完全に忘れていた．この数か月はゲーム形式主義…

自分は何も考えていないから，自分が引き出す言葉，自分の聴く音楽，その他自分の能動的な仕草は大体高校を卒業した時からほとんど止まってしまっている，と書こうと思ったけれど，何も考えていないというよりも考えるだけの労力を引き出すことを（本当は全…

2022年の目標を書く．大半は去年できなかったことになる．・証明論と集合論を勉強する 特に集合論は，ある種の巨大基数の存在の何が嬉しいのか，強制法とはどういった手法なのか，等が分からない程度には何一つ知らないので，最低限の事だけでも読んでおかね…