2023.01.23
https://gyazo.com/c10b8e8ea238b4db8c903fc583e922e5
いいね
https://nicothumb2img.vercel.app/image/sm41687877#.png https://nico.ms/sm41687877
正気ではないと思っったが，意外とちゃんとチュートリアルとして構成がしっかりしていた
視線誘導の話とかはなるほど…と思った
いいアニメの演出もこういうことを考えているんだろうなと思った
思った
多くの「とりあえずこれ（論理式及び論理式の有限列に自然数が対応する等）は前提します」を作った上で趣旨を理解し、その後前提を精査するみたいな形で理解するのがいい気がする
と思ったが任意の数学の証明がそうな気がする
良いGödel数化のアルゴリズムを仮定すれば、ある論理𝓛の記号の列（𝓛 の式）には必ず自然数が対応するので、正確にはある自然数nが𝓛 のvalidな論理式を指示しているかを判定する関数を構成可能と前提することになる
春休みは小さなプログラミング言語か組版システムを作る
要件に対してやることが多すぎる
読んだ
これ印刷してたら途中全然ガリガリの数学の定義いることがわかっって発狂してる
ちょっとした読み物ぐらいの気持ちだたのに…
知った
絵文字は入力しづらいからsudoより良いという思想でつくられたありえないコマンド 借りた
読み物として面白そうだったので
リベンジマッチだ！