はじめに
本記事シリーズは母国語のプログラミング言語が存在するという文化的価値をアピールするためのもので、プログラミング一般の入門を意図するものではありません。とはいっても題材としては定番アルゴリズムのいくつかを疑似言語ではなくコンパイル・実行可能なプログラミング言語の日本語で書いてみようというたてつけとなります。
Mind（マインド）
プログラミング言語Mind（マインド）は自然な日本語で記述できるスタック指向の軽量中間コードコンパイラ言語です。ただし単語間の分かち書きが必須であくまで形式言語です。逆ポーランド記法1の範囲で分かち書きされた日本語単語の語順が自然と日本語の語順となるという意味の「自然さ」で書くことができ、独自の軽量中間コードのランタイム実行で非常に高速です。実装言語はCまたはMind。初版の登場は1985年で2025年は生誕４０周年となりました。
Mind（マインド）の入手方法
無償版のMind version 8 (windows版linux版)を下記の公式サイトからダウンロードできます。フリーメールでかまいませんのでメールアドレスをご登録くださいませ。
定番アルゴリズム：ワーシャル‐フロイド法とは
アルゴリズムは、問題を解決するための手順や計算方法を意味します。アルゴリズムにはいくつかの定番ロジックが存在します。
ここではその中のひとつ「ワーシャル‐フロイド法」を扱ってみます。「ワーシャル‐フロイド法」はすべての頂点から他のすべての頂点への最短距離と経路を求めるためのロジックです。今回は負回路を想定しないシンプルな状態で考察します。
お題のソースコード
今回は下記のような経路を想定します。数字は頂点の番号で４つの頂点があるとします。かっこ値は頂点間の距離を意味します。
1 --(5)--> 2 --(3)--> 3 --(1)--> 4
\
(10)
\
-----> 4
上記のグラフの頂点間の関係を分割すると下記のようになります。
1 → 2 （距離 5）
1 → 4 （距離 10）
2 → 3 （距離 3）
3 → 4 （距離 1）
Mindの配列の添え字の基数は１から始まりますので、下記のような２次元配列で上記の経路を記述します。
距離[1, 2] = 5;
距離[1, 4] = 10;
距離[2, 3] = 3;
距離[3, 4] = 1;
また、上記の疑似言語表現では一般的なプログラミング言語の配列表現でかぎカッコを使っていますが、Mindの場合はかっこ()表記となります。
∞は 定数 １０００００００００。 （１０億）
∞は経路の距離に対して十分大きな無限大と言える値です。今回も１０億としています。
グラフは 構造体
頂点は 変数
頂点距離は 変数
各頂点距離は 頂点と 頂点数最大の 頂点距離
全体は 頂点数最大の 各頂点距離。
Mindの場合、２次元配列は構造体で定義されます。（引用時は基底の変数名を中かっこでインデックス１、２で表現します。）「ダイクストラ法」の実装では構造体を１次元配列の定数配列で初期化するために、中間的な１次元配列を定義していましたが、今回はシンプルな状態としています。
したがって、初期化処理は頂点番号１と２の２重ループによるものとしています。同じ頂点番号の場合は∞をセットします。
グラフを初期化するとは （・ → ・）
頂点No１は 変数
頂点No２は 変数
頂点No１に １を 入れ
頂点数最大で 回数指定し
頂点No２に １を 入れ
頂点数最大で 回数指定し
頂点No１と 頂点No２が 等しい
ならば
頂点距離（頂点No１、頂点No２）に ０を 入れ
さもなければ
頂点距離（頂点No１、頂点No２）に ∞を 入れ
つぎに
頂点No２を 一つ増加
繰り返す
頂点No１を 一つ増加
繰り返し
頂点距離（１、２）に ５を 入れ
頂点距離（１、４）に １０を 入れ
頂点距離（２、３）に ３を 入れ
頂点距離（３、４）に １を 入れること。
下記がソースコード全文となります。
∞は 定数 １０００００００００。 （１０億）
頂点数最大は 定数 ４頂点。
グラフは 構造体
頂点は 変数
頂点距離は 変数
各頂点距離は 頂点と 頂点数最大の 頂点距離
全体は 頂点数最大の 各頂点距離。
グラフを初期化するとは （・ → ・）
頂点No１は 変数
頂点No２は 変数
頂点No１に １を 入れ
頂点数最大で 回数指定し
頂点No２に １を 入れ
頂点数最大で 回数指定し
頂点No１と 頂点No２が 等しい
ならば
頂点距離（頂点No１、頂点No２）に ０を 入れ
さもなければ
頂点距離（頂点No１、頂点No２）に ∞を 入れ
つぎに
頂点No２を 一つ増加
繰り返す
頂点No１を 一つ増加
繰り返し
頂点距離（１、２）に ５を 入れ
頂点距離（１、４）に １０を 入れ
頂点距離（２、３）に ３を 入れ
頂点距離（３、４）に １を 入れること。
ワーシャル‐フロイド法で最短経路を求めるとは （・ → ・）
頂点Noは 変数
頂点No１は 変数
頂点No２は 変数
新しい距離は 変数
頂点Noに １を 入れ
頂点数最大で 回数指定し
頂点No１に １を 入れ
頂点数最大で 回数指定し
頂点No２に １を 入れ
頂点数最大で 回数指定し
頂点距離（頂点No１、頂点No）と ∞が 等しい
または 頂点距離（頂点No、頂点No２）と ∞が 等しい
でなければ
頂点距離（頂点No１、頂点No）と 頂点距離（頂点No、頂点No２）を 加えて
新しい距離に 入れ
新しい距離が 頂点距離（頂点No１、頂点No２）より 小さい
ならば
頂点距離（頂点No１、頂点No２）に 新しい距離を 入れ
つぎに
つぎに
頂点No２を 一つ増加
繰り返す
頂点No１を 一つ増加
繰り返し
頂点Noを 一つ増加
繰り返すこと。
結果を表示するとは （・ → ・）
頂点No１は 変数
頂点No２は 変数
「各頂点間の最短距離結果」を 一行表示し
頂点No１に １を 入れ
頂点数最大で 回数指定し
「頂点No１：」を 表示し 頂点No１を 数値表示し 改行し
頂点No２に １を 入れ
頂点数最大で 回数指定し
「 頂点No２：」を 表示し 頂点No２を 数値表示し 改行し
頂点距離（頂点No１、頂点No２）が ∞を ２で 割った 以上
ならば
「 ∞」を 一行表示し
さもなければ
「 」を 表示し 頂点距離（頂点No１、頂点No２）を 数値表示し 改行し
つぎに
頂点No２を 一つ増加
繰り返す
頂点No１を 一つ増加
繰り返すこと。
メインとは （・ → ・）
グラフを初期化し
ワーシャル‐フロイド法で最短経路を求め
結果を表示すること。
お題のソースコードをコンパイル
では、コンパイルしてみます。Mind8によるコンパイル結果です。
C:\developments\vscode\mind9\algorithm>mind floydwarshall file
日本語プログラミング言語 Ｍｉｎｄ Version 8.07 for Windows
Copyright(C) 1985 Scripts Lab. Inc.
コンパイル中 .. 終了
Coping.. c:\pmind\bin\mindex.exe --> floydwarshall.exe
実行結果
実行結果です。
C:\developments\vscode\mind9\algorithm>floydwarshall
各頂点間の最短距離結果
頂点No１：1
頂点No２：1
0
頂点No２：2
5
頂点No２：3
8
頂点No２：4
9
頂点No１：2
頂点No２：1
∞
頂点No２：2
0
頂点No２：3
3
頂点No２：4
4
頂点No１：3
頂点No２：1
∞
頂点No２：2
∞
頂点No２：3
0
頂点No２：4
1
頂点No１：4
頂点No２：1
∞
頂点No２：2
∞
頂点No２：3
∞
頂点No２：4
0
かなり芸のない出力ですが、各頂点同士の距離が算出されました
おわりに
いかがでしたでしょうか？わたしはわが国に母語によるプログラミング言語が存在することを誇りに思っております。言語は文化。こんにちの日本語のポップスやアニメソングなどが海外でそのまま歌われるような近況を鑑みますと、純然たる技術基盤として超強力な米欧発プログラミング言語勢と存在意義を争うこともなく、日本語の文化として海外でも日本語プログラミング言語の愛される日が来るのやもしれません。
-
演算子を被演算子の中間に記述する中置記法 1 + 2、前に記述する前置記法（ポーランド記法）+ 1 2、後に記述する後置記法（逆ポーランド記法）1 2 +がある。日本語は１と ２を 足す。 ↩