どうもAaronです。 今回はちょっと継続について考えていて思ったことがあるので書きます。 証明どころか解説ですらないどころか感想なので決して真に受けぬよう。 1.束縛付き継続スタック付きマシン 束縛付き継続スタック付きマシンとはTuring完全なマシン(…

今回はずいぶん前から作ってはアドバイスを貰ったり、紹介したりしていたレジスタマシン takumim97.hatenablog.com に大幅アップデートを入れましたのでまとめておきます。(PDFはTwitterだと共有が面倒くさいので、もうブログにしてしまえホトトギスとこうな…

本記事はAARASS-REGIのマクロ表現の仕様について述べる。 1章. 概要 1.1 概要 AARASS-REGIマクロ表現は、AARASS-REGIコアマシンで挙動するある程度実効的なプログラムを書くための助けとするための拡張表現である。 1.2 非単純拡大性 マクロ表現と拡張命令表…

この記事ではAARASS-REGIの拡張命令表現の仕様を述べる。 1章. 概要 1.1 概要 AARASS-REGI拡張命令表現は、プログラマーにフレンドリーでないAARASS-REGIのコア命令表現を多少扱いやすくするための拡張である。 1.2 単純拡大性 AARASS-REGI拡張命令表現は、…