2025.01.28
https://gyazo.com/2ca07cd4c19d009bf2a2a12e478be8ec
思った
選択公理をちゃんと使う議論をあまりしたことがないけども「存在することが証明されているなら具体的に何か一つ取ってきてよい」が超越的な方法かもしれないことには目をつぶって選択公理を回避することだけ注力してもいいのか？という気がしてきた 思った
まんがタイムきららのウェブサイトが自分が想像していたまんがタイムきららのウェブサイトのイデアみたいな感じのデザインになっていてすごい きららのオタクのウェブサイトのイデアこれすぎる
やった
ちゃんとメモ書き直したい．
思った
Bunが1.2になって何も依存関係入れなくてもDBから何かを読んだり書き出したりファイルに書き出したりみたいな処理が出来て小手先のスクリプトを書くのにちょうどよくなってきた やった
10選の動画を全部持ってきたりOTOMADB(v1)のデータをサルベージしたり知り合いのマイリストを全部入れたりして約10000件ぐらいの音MADが集めてきた（削除された音MADは除く）
https://gyazo.com/0767d5c64321a2e4a9f94b3aa559e0f3
正確にはあと600件足りなく，9400件です．
あれ全然10000じゃないな
60と勘違いしていた
（照）
すばらしい
https://www.youtube.com/watch?v=4VWxN4bojXQ&feature=youtu.be
これ神すぎる