プランカルキュール

プランカルキュールについて

プランカルキュール（Plankalkül）は、ドイツの著名な計算機科学者コンラート・ツーゼが開発した、世界初の非ノイマン型高級プログラミング言語です。1942年から1945年にかけて設計され、特に形式的システムとしての側面を持っています。

背景

プランカルキュールのアイデアは1941年にツーゼによってメモとして記述されましたが、第二次世界大戦の影響とツーゼ自身が計算機Z3の商業化に多忙だったため、公に発表されることはありませんでした。1946年には関連する書籍の執筆を試みたものの、出版には至らず、1948年には数学誌「Archiv der Mathematik」にこの言語に関する論文を発表しました。しかし、その時の反響は限定的でした。多くの人々は当時、コンピュータプログラミングはマシン語でなければならないという考えに囚われていたためです。

発表とその後

プランカルキュールがようやく公式に発表されたのは1972年になってからのことでした。さらに、1998年には最初のコンパイラが開発され、2000年にはベルリン自由大学にて新たな実装が生まれました。こうして、プランカルキュールは再びスポットライトを浴びることになりました。

特徴

プランカルキュールは、APLなどの関係量に類似した構文を持ち、いくつかの革新的なプログラミング機能を備えています。具体的には、代入文、サブルーチン、条件文、ループ処理、浮動小数点演算、配列、階層構造を持つ構造体、アサート、例外処理、および目的指向型実行（goal-directed execution）といった機能です。以下は、プランカルキュールの一部機能を用いた、3つの値の最大値を求めるプログラムの例です。

```plaintext
P1 max3 (V0[:8.0],V1[:8.0],V2[:8.0]) => R0[:8.0]
max(V0[:8.0],V1[:8.0]) => Z1[:8.0]
max(Z1[:8.0],V2[:8.0]) => R0[:8.0]
END

P2 max (V0[:8.0],V1[:8.0]) => R0[:8.0]
V0[:8.0] => Z1[:8.0]
(Z1[:8.0] < V1[:8.0]) -> V1[:8.0] => Z1[:8.0]
Z1[:8.0] => R0[:8.0]
END
```

このように、プランカルキュールは複数の行を用いた特殊な表記法を採用しており、その影響を受けたのは1879年に数理論理学のためにゴットロープ・フレーゲが開発したBegriffsschriftです。このため、プランカルキュールは「設計のための形式的システム」という意味を持ちます。

まとめ

プランカルキュールは、コンピュータプログラミングの歴史において重要な位置を占める言語であり、多くの先進的なプログラミング概念を持ち合わせています。そのため、現代のプログラミング言語にも多大な影響を与えたのです。今後もその業績が評価され続けていくことでしょう。

もう一度検索