マインスイーパーから着想を得た難解プログラミング言語。
- English is here（README.md）。
Minesはプログラムがマインスイーパーのゲームプレイを模した操作によって実行されるプログラミング言語である。
Minesのプログラムは1つの盤面と1つの操作リストがこの順に改行区切りで記述されたものである。
盤面は . と * からなる長方形のグリッドで表される。
. は安全なマス、 * は地雷のあるマスを表す。
操作リストは \n で区切られた1つ以上の操作からなる。
1つの操作は , または; で区切られた2つの整数、あるいは ! 、あるいは空行で表される。
盤面の直後及びファイル末尾に書かれた空行も操作として数えられる。
2つの整数は盤面の左上からの列及び行番号を表し、区切り文字はクリックするマウスボタンを指定する。
, は左クリック、 ; は右クリックを指す。
列及び行番号は負数でも盤面の範囲外を指していても良い。 これらはそれぞれ盤面の幅ないし高さで割った非負剰余に変換される。
! は旗立てモードの切り替えを表す（後述）。
プログラム中に現れる半角空白及び \t\r\f\v の各文字は無視される。
また、# から行末までの文字列は無視される。
つまりプログラムはコメントを含むことができる。
以下に、幅4高さ3の盤面と5つの操作を持つプログラムの例とそれぞれの操作の意味を示す。
.*.* #This is a comment.
...*
.**.
0,0
-1, -1 #Spaces are ignored.
10;-10
!
| 操作 | 意味 |
|---|---|
0,0 |
左上のマスを左クリック |
-1,-1 |
右下のマスを左クリック（ 3,2 と同等） |
| 何もしない | |
9;-10 |
左から(9 % 4)番目、上から(-10 % 3)番目のマスを右クリック（ 1;2 と同等） |
! |
旗立てモードの切り替え |
Minesのインタプリタは1つの操作ポインタ(OP)を持ち、初期状態では操作リストの一番上を指している。 インタプリタは盤面に対してOPの指す操作を行い、その後OPを1つ進める。 一番下の操作が行われると、OPは一番上の操作に戻り、操作を続行する。
各操作が行われるごとに、その結果及びその操作が行われたマスの状態に応じて命令が選ばれ、実行される。
ゲームオーバーとなる操作をした場合、プログラムは終了せず、盤面が初期状態（マスが空いておらず旗もない状態）に戻りゲームが再開される（OPは初期化されない）。
インタプリタは記憶領域として符号付き整数のスタックを1つ持ち、これは命令によって操作される。 スタックの初期状態は空であり、処理系の許す限り無限に値を持ち得る。
また、インタプリタは旗立てモードを管理しており、初期値はオフである。 旗立てモードの切り替えにより、オンまたはオフに切り替わる。 また、ゲームオーバーによって旗立てモードが初期化されることはない。
各命令の実行後、もしも「それぞれの安全なマス」または「それぞれの地雷マス」が全ゲームプレイを通じて1回以上開かれたことがあれば、プログラムは終了する（この挙動は通常のマインスイーパーにおけるゲームクリアと異なる）。
左クリックはほとんどのマインスイーパーアプリにおけるそれと同じように振る舞う。
開かれていないマスに対する左クリックはそのマスを開ける。 もし地雷を開けばゲームオーバーとなる。
開かれたマスに対する左クリックは盤面に影響を及ぼさないが、何らかの命令が実行され得る。
右クリックも多くのマインスイーパーアプリにおけるそれと同じように振る舞う。
開かれていないマスに対する右クリックは旗を立てるか取り除く。
開かれたマスに対する右クリックは、もしマスに書かれた数字がその周囲に立っている旗の数と一致すれば、すべての開かれていない隣接するマスを開こうとする。 もし地雷を開こうとしていればゲームオーバーとなる。 この操作は「Chord」と呼ばれており、アプリによってはChordを長押しや他のマウスボタンに紐付けている場合がある。
いずれのクリックにおいても開かれたマスが空白の場合、その周囲のマスも再帰的に開かれる（旗が立っていた場合旗が取り除かれ開けられる）。
旗立てモードの切り替えはほとんどのモバイル向けマインスイーパーアプリに備わっている機能であり、それと同様に振る舞う。 旗立てモードがオンであるとき、左クリックと右クリックの扱いが入れ替わる。 例えば開かれていないマスに対する左クリックは旗を立てるか取り除き、それに応じた命令が実行される。
空行の操作では何も起こらない（OPは通常通り進む）。
マスの数字「0」は空白マス、「9」は地雷マスを表す。
「プッシュ」「ポップ」などはすべてスタックに対する操作を指す。
命令中で最初にポップした値を「p0」、次にポップした値を「p1」とする。
ポップ回数分の値がスタックになかったり0除算をしようとするなどして命令を正しく実行できないことをコマンドエラーと呼ぶ。 命令の実行中にコマンドエラーが発生しそうな場合、命令はなかったことにされ、OPが次に進む。 なお、ゲームオーバーはコマンドエラーではない。
ポップ回数が足りない場合以外のコマンドエラーの発生条件は以下の表に示す。
| 命令名 | ポップ回数 | 内容 | エラー条件 |
|---|---|---|---|
| reverse | 0 | スタック全体の要素を逆順に並び替える | - |
| 命令名 | ポップ回数 | マスの数字 | 内容 | エラー条件 |
|---|---|---|---|---|
| noop | 0 | どれでも（判明しないので） | 何もしない | - |
| 命令名 | ポップ回数 | マスの数字 | 内容 | エラー条件 |
|---|---|---|---|---|
| push(count) | 0 | 0 | このクリックによって開かれたマスの個数（≧1）をプッシュ | - |
| push(n) | 0 | 1〜8 | マスに書かれた数字をプッシュ | - |
| reset(l) | 0 | 9 | 盤面を初期状態に戻してゲームを再開（スタック及びOPはリセットされない、このマスは開かれたことになる） | - |
| 命令名 | ポップ回数 | マスの数字 | 内容 | エラー条件 |
|---|---|---|---|---|
| swap | 2 | どれでも（判明しないので） | p0をプッシュしてp1をプッシュ | - |
| 命令名 | ポップ回数 | マスの数字 | 内容 | エラー条件 |
|---|---|---|---|---|
| pop | 1 | 0 | ポップ | - |
| positive | 1 | 1 | p0が正であれば1、正でなければ0をプッシュ | - |
| dup | 1 | 2 | p0を2回プッシュ | - |
| add | 2 | 3 | (p1 + p0)をプッシュ | - |
| sub | 2 | 4 | (p1 - p0)をプッシュ | - |
| mul | 2 | 5 | (p1 * p0)をプッシュ | - |
| div | 2 | 6 | (p1 / p0)をプッシュ | 0除算 |
| mod | 2 | 7 | (p1 % p0)をプッシュ | 0除算 |
| perform(l) | 2 | 8 | 操作「p1,p0」を行う |
- |
| 命令名 | ポップ回数 | 結果 | 内容 | エラー条件 |
|---|---|---|---|---|
| push(sum) | 0 | 成功 | このクリックによって開かれたマスに書かれた数字の合計をプッシュ | - |
| reset(r) | スタックの長さ | ゲームオーバー | 盤面及びスタックを初期状態に戻してゲームを再開（OPはリセットされない、どのマスも開かれたことにはならない） | - |
| 命令名 | ポップ回数 | マスの数字 | 内容 | エラー条件 |
|---|---|---|---|---|
| push(0) | 0 | 0 | 0をプッシュ | - |
| not | 1 | 1 | p0が0であれば1、0でなければ1をプッシュ | - |
| roll | 2 | 2 | スタックの深さp1までの値をp0回回転させる（詳しくは「rollの詳細」を参照） | p1の絶対値がスタックの長さを超える |
| in(n) | 0 | 3 | 標準入力の先頭から整数としてパースした値を1つ取りプッシュ | パースできない |
| in(c) | 0 | 4 | 標準入力から文字を1つ取りそのUnicode値をプッシュ | 入力が空 |
| out(n) | 1 | 5 | p0を標準出力に出力 | - |
| out(c) | 1 | 6 | Unicode値がp0である文字を標準出力に出力 | p0が有効なUnicode値でない |
| skip | 1 | 7 | OPにp0を加算する（オーバーフローした場合ループする） | - |
| perform(r) | 2 | 8 | 操作「p1;p0」を行う |
- |
p0, p1をポップした状態でスタックが 1, 2, 3, 4 の場合、深さ3までの値を1回回転させると 1, 4, 2, 3 のようにトップの値が下に埋め込まれる。
回転数が負の場合、例えば-1回転させると 1, 3, 4, 2 のように逆の操作が行われる。
深さが負の場合、例えば1回転させると 2, 3, 1, 4 のようにスタックのボトムから操作される。
こちら (examples/) 。
pip3 install mines-esolang
バージョンが表示されるか確認する。
mines -V
通常はこのようにする。
$ mines examples/hello.mines
直接ソースファイルから実行することもできる。
$ python3 mines/mines.py examples/hello.mines
d でデバッグモードを有効にする。
各マスの数字表やコードのパース及び実行にかかった時間が出力される。
$ mines examples/hello.mines -d
デバッグモードが有効なとき、c, s, fでそれぞれ各操作実行後のコマンド、スタック、盤面を出力する。
また、lで指定した操作回数でステップ実行することができる。
$ mines examples/hello.mines -dcsfl 42
ファイルから入力を取る場合は i でファイルパスを指定する。
$ mines examples/cat.mines -i README.md
直接入力を指定する場合は e を使う。
$ mines examples/add.mines -e "1 2"
適宜 echo や cat を利用しても良い。
$ echo -n "meow" | mines examples/cat.mines
-
Pietron - 難解プログラミング言語PietのIDE。Minesの仕様はPietの影響を受けています。
-
UnambiSweeper - 最後まで論理的に解けるマインスイーパーアプリ。AndroidとiOSに対応しています。
このプロジェクトにはMITライセンスが供与されています。 詳細はLICENSE ファイルを参照してください。