プロセス代数とその応用(完)_まとめと触れこぼし - 共立出版コンピュータサイエンス誌『bit』