どうもAaronです。 今回はちょっと継続について考えていて思ったことがあるので書きます。 証明どころか解説ですらないどころか感想なので決して真に受けぬよう。 1.束縛付き継続スタック付きマシン 束縛付き継続スタック付きマシンとはTuring完全なマシン(…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。