2023.09.07
https://www.tbs.co.jp/anime/denpa/story/images/story04/story_img.jpg
前：
2023.09.06
後：
2023.09.08
#日報
思った
最近は音MADでしか聞いたことがない曲を聴いているけどエゴロックに
I'm so happy
が入らないのが違和感しかなさすぎる
百合ロック
観た
電波女と青春男 第2話
電波女と青春男 第3話
電波女と青春男 第4話
電波女と青春男 第5話
知った
M.Li, P.Vitányi; "An Introduction to Kolmogorov Complexity and Its Applications"
Kolmogorov複雑度
に関する良い案内書？
知った
はてなブログの記事にMastodonとMisskeyのシェアボタンを追加できるようにしました
へ〜
思った
全然別の話だけど
Arrowの不可能性定理
とか
Gibbard–Satterthwaiteの定理
とかの
社会選択理論
を形式化してみたい
asouther4/lean-social-choice
そういう論文
John Geanakoplos; "Three brief proofs of Arrow’s Impossibility Theorem"
参考にしているのはこの論文らしい？
Freek Wiedijk; "Formalizing Arrow’s theorem"
Tobias Nipkow; "Social Choice Theory in HOL"