2025.10.01
https://scrapbox.io/files/68dd17a6da35f8fe53fe0c76.mp4
はいベラジョンでのjerseyclub風味のDJツールを作った．
曲?を作ったという経験がないから微妙にDJに合わせると違和感が出る．
マスタリングが滅茶苦茶だと思う．
もっと鍛錬を詰んで音MADのDJツールを作る
前：2025.09.30
後：2025.10.02
#日報
宣伝
現在のところFormalized Formal Logicは無給の学生2人で開発しており、金銭的な支援を頂けると非常に助かります！ぜひよろしくおねがいします。
https://github.com/FormalizedFormalLogic/Foundation?tab=readme-ov-file#financial-supports
思った
そろそろMADDRIFT2の映像を用意しなければと思いつつセトリに微調整を加え続けて全然やる気が起きない
メモ
https://zenn.dev/yude/articles/delete-gh-spam-notification
助かる
思った
面白いからという理由でアカデミックなアカウントと全部良くないDJのアカウントを混ぜこぜにしてるけど全然ダメだと思う，しかし今更直せない
メモ
Funkotを作ったりもした．
めっちゃ作れるやん！と思いながらBCK.をFunkotにしたりしていた．そのうちwipを載せる．
やった
A. Chagrov, M. Zakharyaschev; "Modal Logic"の代数的意味論を読み進める
思った
アニメを観ているときにBGMを入れすぎと思うことがある