KEMURI(プログラミング言語)とは (プログラミングゲンゴケムリとは) [単語記事]

KEMURIは一夜の過ちにより生まれた。

概要

KEMURIとは2006年 9月の情報学会若手の会の夜の議論が元になって生まれた難解プログラミング言語である。ちなみに同じ夜に難解プログラミング言語 Grassも生まれたらしい。

任意の文字列を生成・表示できるが、チューリング不完全な言語である。

言語仕様

1バイト単位のスタックを持つ。命令は以下の6つからなる。

^: スタックの先頭2つをpopし、ビットごとのxorを計算してpushする。
~: スタックの先頭をpopし、ビットごとのnotを計算してpushする。
": スタックの先頭をpopし、それを2回pushする。スタック先頭の複製(dupl ic ate)である。
': スタックの先頭3つをpopし、先頭要素を末尾に並び替えてpushする。x y zという順番なら、y z xに変わる(rotate)。
`: スタックにASCII コードで"Hello, world!"を積む。
|: スタックの中身を文字コードだと見なして出力する。スタックは空になる。プログラムの最後で一度だけ使うことが推奨されている。

^ ~ " ' のスタック操作だけでも十分難解であることがお分かりいただけただろうか。

さらに一見するだけでは気づきにくい仕様の特色としては、上記命令でスタックに積むことが出来る値は ` の"Hello, world!"だけという点。つまり、任意の文字列をスタックに残したければ、"Hello, world!"を他の操作により目的の文字列の文字コードに変換していかなければならないという意地悪さがある。

サンプルコード

Hello Worldは下記2文字で実装できる。当初はHQ9+に次ぐ短さでHello Worldでき、かつチューリング完全になる可能性を宿した言語(HQ9+もチューリング不完全)ということだったようである。

`|

残念ながら、2008年にHello Worldを0文字で実現できるチューリング完全なBrainCrashが登場したことにより、3番手になった上、最短でHello Worldが実行できるチューリング完全な言語になるという望みも断たれてしまった。

名前の由来

最後に使用する|を除き、使用可能な命令が全て上付き文字になっているため、ソースコードが煙突または線香から立ちのぼる煙に見えることから名付けられた。

KEMURI_PLUS

l(Lの小文字)が命令として追加される。その処理内容は「スタックの内容がBrainF*ckのコードとして実行される」。

これによりこの言語はチューリング完全になるということらしいが、計算ロジックを担うのはBrainF*ck インタープリターの部分であり、KEMURIの処理系は計算を行っておらず、これでは思考停止ではないか。まあ、もしかしたら、「BrainF*ckで分岐や繰り返しを実行するコード」を生成するライブラリが作れるのかもしれないが。

なお、KEMURI_PLUSの実装は存在しないらしい。