2023.04.13
https://gyazo.com/cc312df496393d5a2763bbe4f9fa21b3
https://gyazo.com/65fcb7134ff874fe1e8e3f2396c1cdb6
おれすぎる
観た
思った
ゼロの使い魔3期の「本当に何？」という部分を極限まで抽出した結果が冰剣の魔術師である気がしてくる
定数$ cを返す$ n変数関数$ \mathrm{const}^n_c(\vec{x})は原始再帰関数とします
ゼロ関数は$ \mathrm{zero}^n = \mathrm{const}^n_cとします 甘えるな！とは思うがこっちのほうが逆にコンパクトで良くない？
思った
圏論については圏論のように学習したほうがよい すなわち圏論について詳細に立ち入らずに圏論を学ぶと良い パソコンについて知りたいと言ったとき事態は大体2つの様相を呈する
1. パソコンの使い方について知りたい
2. パソコンがどのように動いているのか知りたい
これは複雑な構成物に関してどこででも成り立つ
そして自分でも1と2のどちらを知りたいのかイマイチハッキリしていないときがある
読んだ
ガチ泣き 図書館で泣いてた