π計算というものがある。 パイ計算というのは、並列計算のモデルで、言わばラムダ計算の並列版なのだとか。 で、日本語で書いてあるページがちょっと前まで探しても見つからなかったけど、 最近は結構検索上位にでも上がってきたのか、1ページ目にまで上がっ…