一般化

公理的音楽論みたいなのを考えたい

音楽理論を数学的に定めたいというお話です。 自分用メモなので眺める程度に。Q. 公理的"音楽理論"じゃダメなの? A. 公理的集合論とかあるからネーミングはそれに倣ってみただけ

IQ120関数でも作って遊ぶか

以前Twitterで見かけた「これが解けたらIQ120」みたいな問題を見かけたので、それを一般化した関数を作っちゃいました。たのしい。