「プロセス代数」π計算の話です。 Martin Bergerさん(イギリスのπ計算の研究者)のホームページに、π計算の発案者であるRobin Milner氏へのインタビューが掲載されています。An Interview with Robin Milner「なぜπ計算はπ計算と呼ばれているの？」と質問する…