もし、プログラムが、「あれをして、これをして、・・・をして・・・」というように、実行すべきことがらの羅列だけであるなら、第２章までで解説は終わってしまうのだが、プログラムである以上、条件判断や繰り返し処理というようなものが加わる。これはコンピュータがコンピュータらしい働きをするために大切な仕掛けである。
これら条件判断・繰り返し処理など、プログラムの処理の分岐が起こるような機能を制御構文と呼ぶことにする。
ならば〜つぎに
構文＝
雨降り？ ならば 傘を差す つぎに
まず「雨降り？」が、ある条件を判定する部分である。次の「ならば」によって処理の分岐が起こる。条件が真の場合には、処理は「ならば」を通り「傘を差す」が実行される。条件が偽の場合には処理が分岐し、「つぎに」の直後へスキップが起こる。
記述スタイルであるが、「雨降り？」の直後で改行し、「ならば」を新しい行に、しかも字下げして記述している。しかしこのような表記は強制されるわけではないのだが、分岐構文を読みやすくするため、Mindでは慣習としてこのように記述することが多い。
このあたりはよいとして、おそらく読者は、「つぎに」にひっかかったのではないだろうか。つまり、
だけで済んでいれば、もっと「日本語らしい」のに...と。雨降り？ ならば 傘を差す
残念ながら、「ならば」だけでは処理の分岐を正確に記述できない。
「ならば」に続く「真の場合の処理」がたった１つの単語だけで済めばいいのだが、場合によっては、
となるかも知れない。そうすると、「ならば」が及ぶ範囲がどこまでなのかを示す必要があり、「つぎに」がその役割を負う。「ならば」による処理の分岐は、この「つぎに」によって合流することになる 。雨降り？ ならば 傘を差し レインコートを着て ブーツを履く
上のようになっていれば、雨降りの場合の行動として、「傘を差す」「レインコートを着る」「ブーツを履く」の３つが行われることが明解となる。雨降り？ ├ 真→ ならば 傘を差し 偽 レインコートを着て ｜ ブーツを履く ↓ つぎに 外出する
もう１つ、この条件判断には「もし」という言葉がないことに疑問を持たれたかも知れない。次のように記述したいと思う読者もおられるだろう。
英語のプログラム言語では、条件分岐にｉｆ文を用いることが多い。ｉｆ〜ｔｈｅｎの日本語訳が「もし...ならば」なので、〔ｉｆ＝もし〕のように考えがちであるが、日本語で重要なのは「ならば」の方であり、「もし」は飾りに過ぎない。実際、日本語で主語がない場合には「もし」は省略されることが多い。もし 雨降り？ ならば 傘を差し レインコートを着て ブーツを履く
ただ、主語がある場合、「もし」を記述することで表現が安定することもあるので、Mindでは「もし」を擬似語（ダミーの単語）として登録してあり、（見た目の安定のために）記述することもできる。
「ならば」は、「加える」や「表示する」などと同じように、積極的な行動を起こす単語である。
「ならば」は、実行時に１つのデータをスタックから受け取る。これが条件値である。この値がゼロ以外の場合に〔真〕と判定し、「ならば」以降の文を実行する。逆に、この値がゼロの場合は〔偽〕と判定し、「つぎに」のところまで処理をスキップする。
この性質（真理値の評価）は、「ならば」「でなければ」の２つの分岐用単語の他に、「または」「かつ」といった論理演算の単語も持つ性質である。
のように分離して考えることができる。上図の[A]がまず実行され、条件値がスタックに積まれ、その状態で[B]に突入すると考えたい。[A] 雨降り？ [B] ならば 傘を差す つぎに
[B]に入って最初に実行されるのが「ならば」であり、[A]で積んだデータをスタックから取り出し、これによって分岐を行う。つまり、条件判断と分岐処理は独立していることになる。これは他のプログラム言語にない特徴である。
次の文を見てみよう
一見、これでよさそうに見えるが、正しく動作しない。なぜなら、「ならば」に与えられるデータは常に １００ であり、これはゼロではないので、「ならば」は常に成立してしまう。計算結果が １００ ならば ・・・・ つぎに
念のためにスタックを図示しよう。「ならば」が実行される直前には、スタック内容は次のようになっている。
上の状態で「ならば」に入るから、常に１００が与えられてしまう。次のように修正すべきである。（計算結果） １００
「等しい」は、２つのデータをスタックから取り出して比較し、一致しているなら１を、さもなければ０をスタックに返す単語である。「等しい」の実行前後のスタックの動きは次のようになり、計算結果が １００に 等しい ならば ・・・・ つぎに
（計算結果） １００
↓「等しい」の実行
これが「ならば」に与えられるデータとなり、うまく動作する。１または０
↓「ならば」の実行
（空）
上の定義はすべてMindの標準単語を使用しているので、これは本当に動く。これを実行すると、コンソールに質問文が表示され、オペレータが「はい」または「いいえ」を答えると、スタックに１か０を積んで帰ってくる。もちろん、この値は「ならば」に与えるデータとしてマッチしたものである。雨降り？とは 「雨が降っていますか？（はい／いいえ）」を 表示し 文字列入力したものが 「はい」に 等しい文字列であること。
コンピュータらしく天候を自動検出しようとするなら、次のようなプログラムがいいだろう。
こちらの「雨降り？」も、先の定義例と同じく、スタックに１か０を積んで帰る。ただ、こ れは仮想の単語が２つ引用されており、この段階ではまだ動作するプログラムにはならない。雨降り？とは 測候所からデータを受信し 降雨量が １ミリ 以上であること。
もちろん上記のように書いても間違いではないが、先頭の１行を「雨降り？」という独立語で外に出し、こちらの上位側で「雨降り？ ならば 傘を...」と引用した方が優れていることは明白であろう。測候所からデータを受信し 降雨量が １ミリ 以上 ならば 傘を差す つぎに
測候所がどうしたとか、降雨量がどうしたとかいうような細かい話は「雨降り？」という下位の単語にやらせて、上位単語はもっと抽象的な言葉の世界で記述するのがMind的なやり方である。
ならば〜さもなければ〜つぎに
次のように用いる
構文＝
雨降り？ ならば テレビを見る さもなければ 外出する つぎに
でなければ〜つぎに
構文＝
雨降り？ でなければ 外出する つぎに
は、室温が ２５度より 大きい ならば エアコンのスイッチを入れる つぎに
のように変換できる。つまり、条件値を計算するところを逆の結果が出るようにすることで、「ならば」が「でなければ」に、あるいはその逆になるのである。室温が ２５度 以下 でなければ エアコンのスイッチを入れる つぎに
なお、この構文に「さもなければ」を加えた、〔でなければ...さもなければ...つぎに〕という構文も使えなくはないが、二重否定の文になり、まぎらわしいのでやめた方がいいだろう。
または、 かつ
これらは普通の日本語通りの使い方で、
構文＝
Ａ または Ｂ ‥‥�� Ａ かつ Ｂ ‥‥��
�� の「または」は論理和（OR）を演算する。バイナリの各ビットを演算するのではなく、真理値のORである（注 1）。すなわち、Ａが真（ゼロ以外）を返すか、あるいは、Ｂが真を返す場合に１を、さもなければ０をスタックに返す演算語である（結果が再びスタックに置かれることに注目）。
�△痢屬�つ」は論理積（AND）を演算する。Ａが真を返し、かつ、Ｂも真を返す場合のみ１を、さもなければ０をスタックに返す。
- 注１
- 各ビットごとの論理和・論理積をとるのは、Mindでは「OR」「AND」という処理単語である。
Mindの単語の中には、このような真理値をスタックに返すものが数多く存在するが、すべて１（真）か０（偽）を返す。
中置記法であることと関係するが、これを記述している箇所は「行」が意味を持つ。前記�，任� またはの左側 の計算結果と、 またはの右側 の計算結果とのORがとられることになる。つまり、「または」の影響範囲はその行内に限られる。
- 注２
- 中置記法とは２つのデータの間に演算子を書く記法。
一般の数式では「2＋3」などと記述する中置記法をとっている。
Mindでは「２に ３を 加える」のような後置記法が標準であるが、例外的に「または」「かつ」は中置記法とする。普通の日本語表現に合わせるためこのような例外を設けた。
「ならば」との組み合わせとしては次のような例をあげることができる。
上記の１行目の処理と２行目以降の処理はたがいに独立していることを思い起こして欲しい。１行目の「または」による演算によってスタックには１または０が置かれ、これを「ならば」が受け取る...という手順で分岐が行われる。室温が ２５度 以上 かつ 温度が ６５％ 以上 ならば エアコンのスイッチを入れる つぎに
従って、上記の判定部分だけを独立単語とすることもできる。次のようになる。
「または」と「かつ」は同じ行内にいくつも引用することができる。蒸し暑い？とは 室温が ２５度 以上 かつ 温度が ６５％ 以上。 エアコン操作とは 蒸し暑い？ ならば エアコンのスイッチを入れる つぎに。
「かつ」の方が計算が優先するので、上記の場合、「Ｂ かつ Ｃ」が先に計算され、その結果と「Ａ」が計算される。Ａ または Ｂ かつ Ｃ
このような行間の演算は、１行が長くなってしまうような場合に用いられるのはもちろんであるが、「または」と「かつ」の演算が複雑にからむような場合の有効な手段でもある。上記でいえば、ＤやＥの行内にさらに「または」「かつ」の演算（行内演算）を含むケースである。この場合は行内の演算が先に行われ、その各行の結果同士でAND／ORの演算が行われることになる。次のような場合である。・・・・・・・ Ｄ ・・・・・・・ または ・・・・・・・ Ｅ ・・・・・・・
なお、次のような場合であるが、室内に人が居る？ かつ 室温が ２５度 以上 かつ 温度が ６５％ 以上 ならば エアコンのスイッチを入れる つぎに
この場合、「かつ」の優先はなく、単純に上の方から順に演算される。・・・・・・・ Ｄ ・・・・・・・ または ・・・・・・・ Ｅ ・・・・・・・ かつ ・・・・・・・ Ｆ ・・・・・・・
ここから〜繰り返す
構文＝
ここから ・・・・・・・・・・・・ ・・・・・・・・・・・・ ＜条件値発生処理＞ ならば 打ち切り つぎに 繰り返し
上のプログラムを実行すると、コンソールには次のような表示が次々となされ、止まらなくなる。（CTRL-Cの打鍵でプログラムを強制終了すれば止まるが、少し乱暴なプログラムなので注意されたい）無数のAを表示するとは ここから 'A'を 一文字表示し 繰り返すこと。
以下のように改良すればエンターキーを打鍵することでスマートに表示をやめさせることができる。（注：これであっても、CPUに負荷をかけるので短時間の実行に留めたい）AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAA A^C
無数のAを表示するとは ここから 'A'を 一文字表示し 文字列入力有り？ ならば 打ち切り つぎに 繰り返すこと。
上記で「伝票〜〜」という３種の単語はいずれも架空の単語である。ループに入って最初に打ち切り条件の判定を行っていることに注目したい。なるべくこの形式を使うことを勧める。我々の日常感覚としては、全てのデータを入力とは ここから 伝票終り？ ならば 打ち切り つぎに 伝票を箱から取り出し 伝票のデータを入力し 繰り返すこと。
と書きたくなる。ほとんどの場合、後者でも不都合はないだろうが、万が一、最初から伝票が存在しない状態でこの単語が呼び出される可能性を考えると、前者の方が、空の箱から伝票を取り出すという異常行為を避けられるメリットがある。全てのデータを入力とは ここから 伝票を箱から取り出し 伝票のデータを入力し 伝票終り？ ならば 打ち切り つぎに 繰り返すこと。
晴れるまで待って外出とは ここから 晴れ？ ならば 打ち切り つぎに 一時間待ち 繰り返し 外出すること。
［Ａ］
晴れるまで待って外出とは ここから 晴れ？ ならば 打ち切り つぎに 午後３時？ ならば 打ち切り つぎに 一時間待ち 繰り返し 外出すること。
［Ｂ］
晴れるまで待って外出とは ここから 晴れ？ または 午後３時？ ならば 打ち切り つぎに 一時間待ち 繰り返し 外出すること。
Ａでは、今すでに晴れている場合、「午後３時？」の処理はまったく実行されないが、Ｂでは必ず両者の問い合わせが実行されるという微妙な違いはある。
［Ｃ］
晴れるまで待って外出とは ここから 気分が良い？ かつ 晴れ？ ならば 打ち切り つぎに 一時間待ち 繰り返し 外出すること。
［Ｄ］
晴れるまで待って外出とは ここから 気分が良い？ でなければ 一時間待ち もう一度 つぎに 晴れ？ ならば 打ち切り つぎに 一時間待ち 繰り返し 外出すること。
上記Ｄでわかるように、「気分が良い？」が偽の場合には絶対に外出しないので、「晴れ？」を調べる必要がなく、「もう一度」によってループの最初に戻してしまっている。
「打ち切り」は〔ここから...繰り返す〕の構文に必須であるが、「もう一度」は他の表現で代替できることが多い。以下では「ならば」を多段にすることで代替している。
［Ｅ］
晴れるまで待って外出とは ここから 気分が良い？ ならば 晴れ？ ならば 打ち切り つぎに つぎに 一時間待ち 繰り返し 外出すること。
回数指定し〜繰り返す
構文＝
ｎを 回数指定し ・・・・・・・・し ・・・・・・・・し 繰り返す
ゼロの回数を与えた場合、何もしないで直ちにループを抜けるようになっている。負の値は非常に大きな正の値とみなされるので注意すること。
［Ａ］
十個のAを表示とは １０を 回数指定して 'A'を 一文字表示し 繰り返すこと。
さて、これを変形してみよう。「与えられた回数だけAの文字を表示する」とする。AAAAAAAAAA
他のプログラム言語の経験者はすぐに、「回数を（仮引数も含めて）変数で渡せばよい」などと考えるかも知れないが、Mindの場合はもっと簡単になる。
［Ｂ］
複数のAを表示とは 回数指定して 'A'を 一文字表示し 繰り返すこと。
Ｂは 「回数指定の左側に必ず回数が記述されるとは限らない」 良い例になる。この単語を引用する時には、
［Ｃ］
１０個だけ 複数のAを表示する
が表示できる。AAAAAAAAAA
まず、Ｃの「１０個だけ」の実行により、スタックには１０という数値が置かれる。
次いで、「複数のAを表示する」の実行に入る。呼ばれた「複数のAを表示」は直ちに「回数指定し」を実行するが、そのときすでにスタックには１０が積まれているから、これが取り出されて指定回数として処理され、うまく動作する。
〔ここから......繰り返す〕の項の解説で次のような例文をあげた。
もし、上記が「伝票１００枚を処理しなさい」という命令に変更されれば、次のような回数指定の構文を使うことになるだろう。全てのデータを入力とは ここから 伝票終り？ ならば 打ち切り つぎに 伝票を箱から取り出し 伝票のデータを入力し 繰り返すこと。
「ここから」 が 「１００を回数指定し」 に変わっただけである（ループ最後の「繰り返す」が同一であることに注目）。全てのデータを入力とは １００を 回数指定し 伝票終り？ −−− ならば 打ち切り ｜この部分は無くても良い つぎに −−− 伝票を箱から取り出し 伝票のデータを入力し 繰り返すこと。
この繰り返し文は、伝票１００枚を処理したとき、あるいは、その枚数に満たなくても伝票が終わってしまったときに打ち切られることになる。
次のプログラムを実行すると、
画面には、十個のAを表示とは １０を 回数指定して 回数を 数値表示し 空白表示し 繰り返すこと。
という数値の列が表示される。1 2 3 4 5 6 7 8 9 10
「回数」は必ず１から始まるので、もし、０から始まる値が必要な場合には（たとえば問題「0から9の数字を表示せよ」）、次のように、引用した「回数」に補正をかければよい。
１単位ではない増分を得たい場合には、「回数」を引用してから補正するよりは、別途、専用の変数を設けて、それをある値ずつ増加しながら処理するほうが柔軟性があって良いことが多い。十個の数を表示とは １０を 回数指定して 回数から 一つ引いたものを 数値表示し 空白表示し 繰り返すこと。
制御構文のネストと「終り」
すべての制御構文はネストすることができる。ただ、１つの単語定義の中にあまり多くの制御構文を入れることは、プログラムの可読性を下げるので好ましくない。複雑な展開になったときには、一定のブロックを外に出して別単語定義とすることを勧める。
繰り返し構文の中で実行される「打ち切り」や「もう一度」は、その最も内側のループに対してのみ有効である。ネストされた繰り返し構文中で、一気に外側に脱出する方法を解説しておく。
構文＝
処理１とは ここから ・・・・・・・・し 回数指定し ・・・・・・・・し ・・・・・・・・し ならば 終り つぎに 繰り返し 繰り返すこと。
（このほかに、フラグと「打ち切り」を併用し、外側ループに打ち切りを知らせる方法もあるがここでは述べない）
注意したいのは、「終り」が単語全体の脱出を図るものなので、繰り返し文の脱出とは必ずしも一致しない（本例ではたまたま一致）という点である。
もし、次のように、
上では、外側の繰り返しのあとにも他の処理（「後片付け」）が存在するためには、内側で「終り」を実行すると、「後片付け」をしないで戻ってしまうという不都合がある。処理１とは ここから ・・・・・・・・し 回数指定し ・・・・・・・・し ・・・・・・・・し ならば 終り つぎに └→親側に戻る 繰り返し 繰り返し 後片付けすること。
このような場合には、後片付けを上位単語（「処理 1」を呼んだ親の単語側）にまかせ、ここには記述しないようにすれば「終り」が使えるようになる。親側は次のようになるだろう。
処理１００とは 処理１し 後片付けして また別なことをすること。
［Ａ］
エラー処理とは エラー？ ならば エラー表示し 音を鳴らす つぎに。
［Ｂ］
エラー処理とは エラー？ でなければ 終り つぎに エラー表示し 音を鳴らすこと。
構文＝
終り。
〔処理単語定義内で記述〕
○○とは ・・・・・・・・・ ならば 終り ←「○○」の処理をここで終る つぎに （リターン） ・・・・・・・・・
〔（定義内ではなく）ソースコード内に宣言〕
○○とは ・・・・・・・・・ ←ソースプログラム前半 △△とは ・・・・・・・・・ 終り。 ←ここでコンパイル終り◎◎とは ←後半はコンパイルされない ・・・・・・・・・
実行終り
構文＝
○○とは ・・・・・・・・・ ならば 実行終り つぎに ・・・・・・・・・
第２章の「処理単語」の節のメインの解説で、Mindのプログラムが起動したとき、「メイン」という単語の実行から始まることを述べたが、プログラムの終りは、普通は「メイン」の処理が「。」に到達した時点となる。言い換えれば「メイン」の内部に記述したすべての処理が終わったときにプログラムの実行も終わるようになっている。
ところが、エラー発生その他により、ずっと下位の単語の中においてプログラム実行を終了させたい場合もある。そのようなときに使われるのがこの「実行終り」である。ちなみに、「メイン」の定義文の中においては「実行終り」と「終り」は等価である。
その他の制御構文
いずれも、値の比較と「ならば」の分岐を組み合わせれば実現できるものだが、これらを使ったほうがプログラムがエレガントに組め、メンテナンスもし易い。
選択
構文＝
＜整数値＞で 選択する ＜選択肢＞ ＜選択肢＞ ・・・・・ 選択終り
選択肢としては、ただ１つの単語だけが記述できる。それは定数や変数であっ ても良いし、処理単語であってもよいが、いずれにしても１語だけである。
また特別に、「打ち切り」「もう一度」「終り」の３つの分岐語を含めることができる（「打ち切り」と「もう一度」は、この構文全体が繰り返し構文の中に入っている場合に限られる）。
第５章での定数配列「金種」は、文字通り配列として機能したが、上の「金種選択」は処理単語として機能する点が異なる。もちろん、これを引用する場合も、金種選択とは （番号 → 金額） 選択する １００００ ５０００ １０００ ５００ １００ ５０ １０ ５ １ 選択終り。
のような違いがでる。金種配列（３）を 数値表示する ←定数配列を使う場合 ３で 金種選択し 数値表示する ←選択を使う場合
これでわかるように、単純な数値あるいは文字列の定数を並べただけの場合には、定数配列と選択構文は、ほとんど同じ機能に見える。
選択を使うメリットは、処理単語内部で引用することから、その前後に処理を記述することができる点、そして、定数・変数・処理単語など、多種の選択ができる点にある。
事例
(数値の比較)
構文＝
＜整数値＞で 事例をとる ＜比較値１＞ ＜選択肢１＞ ＜比較値２＞ ＜選択肢２＞ ・・・・・・ ・・・・・ 例外なら ＜選択肢＞ 事例終り
(文字列の比較)
構文＝
＜文字列＞で 文字列事例をとる ＜比較値１＞ ＜選択肢１＞ ＜比較値２＞ ＜選択肢２＞ ・・・・・・ ・・・・・ 例外なら ＜選択肢＞ 事例終り
上記では１行につき１組を記述しているがソースコード上の縦横構成は自由である。いずれも、スタックに積まれた比較値がテーブル状に並んだ値と次々に比較され、一致したものがあると、その直後に記述されている選択肢が実行される。
一致項目が見つからない場合には、テーブルの最後にある「例外」という特別な項目の選択肢が実行される（「例外」の項目は必須である）。
選択肢は、定数・変数・処理単語のどれでも使うことができる。また特別に、「打ち切り」「もう一度」「終り」の三つの分岐語を含めることができる。（「打ち切り」と「もう一度」は、この構文全体が繰り返し構文の中に入っている場合に限られる）。
上の処理単語は整数で月を与えると、その月の日数を返す。簡単にするためうるう年は考慮していない。月の日数を得るとは （月 → 日数） 事例をとる ２月なら ２８日 ４月なら ３０日 ６月なら ３０日 ９月なら ３０日 １１月なら ３０日 例外なら ３１日 事例終り。
処理単語「事例」は実行時にスタックに値が積まれていさえすれば良いので、かならずしも「事例」の直前に数値が記述されるとは限らない。上はその例でもある。
２、４、６、９、１１月を小の月として扱い、それ以外のケースを「例外なら ３１」で受けることて３０日を返している。（ちなみに助数詞の「月」「日」や、送りがなの「なら」に意味はない）
構文＝
無処理 → ・
文字列事例の例を示す。
上の定義をしておけば、英訳とは （文字列 → ・） 文字列事例をとる 「ピアノ」なら "PIANO"を 「犬」なら "DOG"を 「猫」なら "CAT"を 例外なら "?"を 事例終り 表示し 改行することである。
のように使うことで、「犬」を 英訳する
を表示させることができる。DOG
もし、
と記述した場合、これは事例項目にないので、最後の「例外」の選択肢が実行され、「大仏」を 英訳する
が表示されることになる。?
なおこのプログラムでは、「例外」の選択肢として「無処理」を記述できないので注意したい。事例構文の中でスタックに文字列を１つ積み、これを「表示」で表示するという前提になっているので、どの選択肢が選ばれようと文字列を１つ積む必要がある。このようなとき、「無処理」を記述したのでは、データが足りなくなってしまうからである。
範囲事例
構文＝
＜整数値＞で 範囲事例をとる ＜比較値１＞ ＜選択肢１＞ ←整数値が「比較１」以下の場合 ＜比較値２＞ ＜選択肢２＞ ←整数値が「比較２」以下の場合 ・・・・・・ ・・・・・ 範囲外なら ＜選択肢＞ 事例終り
決済とは （文字列 → ・） 支払額で 範囲事例をとる ９９９９円までは 現金支払い ９９９９９９円までは 小切手支払い 範囲外は 手形支払い 事例終り。
