自分の理解のための自分へのメモ。 間違ってたら自分の理解が間違っているということなので、あしからず。 π計算はCCSの拡張なのでCCSを説明する。 CCSとは、Calculus of Communicating Systemの略。 コミュニケーション(通信)システムを抽象化したもの。 な…

並行プロセス計算モデルで、Pi計算というのがあります。*1 lambda計算のような無闇やたらに抽象的な記述ですが、一応チューリング完全です。とりあえず、pure Lispの5つ組が実現できればチューリング完全なのは示せるよね。5つ組とは、car/cdr/cons/atom/eq…