研究室の全体ゼミがずれてしまっていたので、めずらしく水曜なのに大学に。ありていに言えば、大学には昨日から泊まっていたのですが（＾＾；π計算って通信な話だったんですね・・・。実は時相論理なμ計算にしても、似たような名前なのでλ計算の仲間かと思いきや、それぞれ結構分野が違いまくりです。でも、π計算の syntax を見る限り、πという演算子が見当たらないんですが……。