2022.10.05
https://gyazo.com/8a28ff069be05f83ab39042765b4bcb0
本と本の関連性を表示するサービス
前：2022.10.04
後：2022.10.06
#日報
いいね
ドナルド一万尺
https://www.nicovideo.jp/watch/sm41130838
咲合作 第２局―またここで合作がしたい、みんなと！―
https://nicothumb2img.vercel.app/image/sm41173239#.png https://nico.ms/sm41173239
マジで今やるの嘘だろ
第一回10年前でヤバすぎる
咲合作 ―合作って楽しいよね！―
https://nicothumb2img.vercel.app/image/sm19044063#.png https://nico.ms/sm19044063
やった
react-konvaを使ってcanvasで色々した
Next.jsと一緒に使うとムチャクチャになってひどいことになったのでViteで使ったほうが良い
今までのおれがPuppeteer使ってたのアホすぎる
読んだ
論理と計算のしくみ(本)によるGödelの不完全性定理
原始再帰，部分再帰などを絡めて
Ackermann関数が原始再帰的関数ではあるが再帰的関数ではないということを確認した
圏論による論理学(本)
読みづらすぎる
いくつかの型の表記が論理と計算のしくみ(本)と違うのでそれらを適宜読み替える
λ-hol
思った
大急ぎでヤマノススメ全部観るぞ！！！
Do It Yourself!! -どぅー・いっと・ゆあせるふ-を観るぞ！！！
本当に怒られそうなことをしているがお前らにはまだ内緒です
纏める
2022年に観たアニメ雑記
意外とアニメ観たんだな　今年