目次

時間もないので、イントロ折り紙に基づき、目次を作成して、研究メモ（日本語）の該当箇所をそのまま貼り付けて、順次英語化する作戦をとることにする。

とりあえず、関係のあるところを「ペ」して、プロセス代数の紹介(Preliminaries)を英語化する。うむそれなりに難しい。とにかく時間がないので、微速前進。日曜までにスーパードラフトにこぎ着けるのか？