2023.04.18
https://img-denfaminicogamer.com/wp-content/uploads/2023/04/image12-5.jpg
寝ながら冰剣調べてるバカ編集部は本当に何?
知った
やった
やはりバニラではどうやっても原始再帰的関数を停止を保証して定義することは出来ないような気がする メモ
原始再帰は以下のように定める
関数$ f,g,h:\N \to \N
2つの自然数$ n,mのペアの1つの自然数への対応付$ \lang \cdot,\cdot\rangによって$ \lang n,m \rangと表記する.
$ h(\lang x,y\rang)を$ h\lang x,y\rangと略記する.
$ h\lang x,y\rangは一つの引数であることに注意.
$ h\lang x,0 \rang = f(x)
$ h\lang x , s(n)\rang = g\lang p, h(p)\rang
ただし$ p = \lang x,n\rangとする.
↑という定義で行くと普通に$ h(p)止まるんですか?みたいな警告を出される
これを止める方法は多分ちゃんと書いてあるはずだが,面倒で読んでいない
特に除く意味は無い 別に他のやつができればパッと出来るとは思う
https://gyazo.com/00bdb5368353bdb747f59b1f637406bb
本当におれが悪いのか?