ホワット・ア・ワンダフル・ワールド 言語モデル LMNtal

(PDF) 読んでみたら，なかなか面白かったです．LMNtal は，プログラミング言語としての部分では，ET と共通する目標を追いかけている言語だと思います．逐次から並行までの，超スケーラビリティモデルとか，計算の階層化とか，なるべく多くのパラダイムを，簡潔なモデルでカバーする，とか． ただ，ET は，プログラム部分だけではなく，仕様からのプログラム合成までを念頭に置いたパラダイムなので，モデルのカバーする範囲が違うと思います． ET のマルチヘッドルールの効果的な使い方がいまいち思いつけないでいたのですが，LMNtal はとても参考になりそうです． LMNtal は，多重集合書き換えに基づく計算モデルを参考にした言語です．多重集合 (multiset) というのは，通常の集合と同様に，要素の順序には意味がないのですが，重複度には意味がある，という集合のことです．つまり， (A), (A)