2024.02.07
https://gyazo.com/f7fc484d8480949576ba5294a5a310ed
mikanixonable.github.io/#%E7%9B%B8%E4%BA%92%E3%83%AA%E3%83%B3%E3%82%AF
みかぶる氏の個人サイトにリンク集のグラフが追加されていた メモ
どのみち皆さんは昼夜逆転とかそういう次元で毎日が回っているはずなのだから、つねに公募で曲を追加し続けてDiscordで24h/7dでhyperpopとかbreakcoreとかメチャクチャな音楽を流し続けるbotを稼働させて作業中の音楽に困らないようにしたい みなさんでやりませんか
募集中.
いいね
https://soundcloud2image.vercel.app/image?url=https://soundcloud.com/nitorikawashiro/stop-being-gay#.png https://soundcloud.com/nitorikawashiro/stop-being-gay
本当にありがとう.
メモ
知った
$ \lbrack 0,1 \rbrack間の一様乱数を独立に発生して足し合わせるとき,その和が1を超えるまでにかかる個数の平均はネイピア数$ e = 2.718...に等しい. 知った
プログラミング言語では、意味をなすプログラムを書くために型規則を用います。一方、音楽理論では、響きの良い音楽を作るために作曲規則を用います。この対応関係から、型付き音楽の生成という発想が生まれます。つまり、音楽の規則を型規則として表現し、規則の違反を型エラーとして報告する、という考え方です。 このプロジェクトでは、音楽生成のためのライブラリ Music Tools を、Agda 言語で実装します。アイディアとしては、Agda の依存型を用いてさまざまな作曲規則を簡潔に表現しつつ、FFI を通して Haskell の音楽生成機能を利用します。 メモ
これやっぱりバグだよな?と思って報告するかまよったが先を越された
知った
名称は、ギリシャ語でのモットーである"Φιλοσοφία Βίου Κυβερνήτης"(「智恵を愛することは人生の指針になる」)の頭文字であるΦ(Phi)、Β(Beta)、Κ(Kappa)に由来する。
人のCV見てたらなんだこれと思って出てきた