2025.09.25
https://gyazo.com/aa07e7704e2f2c19248570d9bb3b1e3f
前：
2025.09.24
後：
2025.09.26
#日報
メモ
近傍意味論の濾過法
の形式化
定義を見直してKripke意味論のものとはちょっと実装買えてるけどこれがうまくいくのかどうか…
読んだ
『わたしが恋人になれるわけないじゃん、ムリムリ！（※ムリじゃなかった！？）(8)
琴紗月
さんは何なの？
メモ
Spotify
が
Rekordbox
で流せるようになって
ナイトコア
やりたい放題