2022.10.12
https://www.youtube.com/watch?v=ndVQWKDaabs
Bad Apple!! 着色 (852話)
前：
2022.10.11
後：
2022.10.13
#日報
読んだ
忍者と殺し屋のふたりぐらし 第16話
hundredburger
がSNSに語るの重みがある
チェンソーマン 第二部 第105話
へのへのもへじと棒人間とパンツ
ウヒヒ
知った
NovelAI
などにプロンプトを渡す人を
術師
と呼ぶこともあるらしい いいね
@msts_stu
いいな〜！
Frege
Löbの定理
観た
ヤマノススメ Next Summit 第1話
調査
論理学者の名を持つプログラミング言語その他
やった
ひたすら
圏論
関手
，
自然変換
，
モナド
証明可能性論理
について
Löbの定理
一部謎の変換があってなんでそうなるのかわからないので後でちゃんとみる
知った
シークエント計算
を
式計算
ともいうということを知った
音が，似ていますね
エキサイト翻訳
が終わる
https://twitter.com/ExciteJapan/status/1579709392920145921
北の国から
https://j-lyric.net/artist/a0004ab/l04727e.html
/Bookbinding-Archive
これいいね
本の装丁を片っ端から集める？Scrapbpx