あー

某所に書いているプロセス代数云々は話半分に聞いておいてくださいませ……。ご利用は自己責任で。どうも、大学時代にプロセス代数というキーワードについて授業でやった覚えがないんですが、やっぱり忘れ去っているだけでせうか。

「（中略）開発環境」のほうは、本業の合間を縫って、ぼちぼち頭のリハビリ中です……。