2023.04.17
https://gyazo.com/292fa99933c1ea48b9bb858a445bad19
OTOMADB
の検索,検索ボックスに入っている文字が変わり次第直ちにAPI叩くような設計にしてるせいでメッチャクチャな頻度で叩かれてる
前:
2023.04.16
後:
2023.04.18
#日報
やってる
Function Programming in Lean
https://leanprover.github.io/functional_programming_in_lean/getting-to-know/polymorphism.html
Lean 4
を普通の関数型プログラミング言語として用いる
正直かなり体験が良くて良い
観た
機動戦士ガンダム 水星の魔女 第14話
おもしろすぎる…
ゼロの使い魔 三美姫の輪舞 第6話
ゼロの使い魔 三美姫の輪舞 第7話
ゼロの使い魔 三美姫の輪舞 第8話
ゼロの使い魔 三美姫の輪舞 第9話
ゼロの使い魔 三美姫の輪舞 第10話
ゼロの使い魔 三美姫の輪舞 第11話
ゼロの使い魔 三美姫の輪舞 第12話
エーッ?!?!