計算モデル

https://scrapbox.io/ryokatsu/計算モデルとプログラミング

• Sequential Machine: 順序機械

• Functional Paradigm: 関数型ラムダ
  • 殆どのノードベースはそう
• 論理型
  • CADのconstraints