再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ

摘要

難読プログラミング言語Malbolgeは，その解析困難性により知的財産権の保護などに役立つと考えられているが，命令が特殊であるためプログラムの作成は非常に困難である．そのため，Malbolgeプログラムを生成するための中間言語として制御付き疑似命令列が提案されているが，Cなどの通常の言語と比較すると依然としてプログラミングが困難である．本稿では，整数型と真偽型を扱え，while文などの基本的な制御構造と再帰関数を定義できるC言語のサブセットのプログラムからMalbolgeコードへのコンパイラの実現法を述べる．コンパイラの実現のために，まず，既存の制御付き疑似命令列に配列構文と関数構文を追加し，それにあわせて既存の制御付き疑似命令列からMalbolgeへの変換系を拡張する．さらにC言語のサブセットから制御付き疑似命令列へ変換する方法を提案する．