プロセス代数とその応用⑦_ACP:A_Common-sense_on_tiP - 共立出版コンピュータサイエンス誌『bit』