2023.05.13
https://gyazo.com/db306f51fd8f9f7b5cf719d5304fc35a
前：
2023.05.12
後：
2023.05.14
#日報
やった
Lean 4
で
TaPL
をやるぞと思ったけど本が無いので
型無しλ計算
を他人の
GitHub
コードからエスパーする無意味する作業が行われていた
いいね
toyod ine - Chewing again
https://soundcloud.com/toyoyonoine/chewing-again
観た
神なき世界のカミサマ活動 第6話
逃走中 グレートミッション 第6話
サンクチュアリ 第1話
サンクチュアリ 第2話
重いけど，それはそれとしてコミカルな部分があってちょうどいい塩梅になっている
食べた
みそきん
おれは
カップ麺
をほとんど食べないので，麺が微妙と言われてもあんまりわからず，全然麺は美味しかった気がする
スープが丁度いい濃さだった
かなり美味しかった
知った
Diaconescuの定理