超ドラフト

とりあえず、DACに出した内容と研究メモを合体スリム化して、超ドラフト作成。
DAシンポにくらべると、離散プロセス代数に拡張したところが新規か。

いろいろ考えると、自分では半自明であると思いこんでいる様々なルールが例題でも
使っている気がします。とくにMSC特有の展開ルール。

１コラム（２コラム９ページ中）余ったので、MSCに独特の離散関係の展開ルールを
厳密にかいて、偉そうにすれば、なんかいいような気がしてきた（回避モード）。