hamadaさんから
ところで、Plankalkuel についてですが、Konrad Zuse が作った Z3 というコンピュータ上で動いていたわけではないのでしょうか？
というツッコミがあった。
確かに、 Plankalkülの設計者でもあるKonrad ZuseはZ3というコンピュータも作っている。 というか、PlankalkülはZ3用に設計されたのだ。
しかし、彼がPlankalkülにかかわっていた1949年までに、 処理系が動いたという事実は確認できていない。 この時点では記法として設計されていたのではないかと考えている。 この時代の技術レベルでPlankalkül処理系が実装されたとはいくらなんでも考えにくい。
Wikipediaには、
It was first published in 1972 and the first compiler for it was implemented in 2000 by the University of Berlin.
と1972年までは存在さえ(広くは？)知られていなかったこと、 最初のコンパイラは2000年(!)に実装されたことが記されている。
参考資料
p.s. しかし、ウムラウトは打ちにくいぞ。
うちの社長と島大の縄手先生と学生さんとで新年会。今年は焼肉。ちょうど今朝、焼肉食べたいな、と思っていたので、ちょうど良かったのだが、食べ過ぎた。おなかいっぱい。研究のこととか、就職活動のこととかいろいろ話したような気がするなあ。