並列処理がやっと少しはわかった気がした。当たり前のことだが、「CPUとは何であるか？」を理解しないと並列処理は理解できない。別な言い方をすると、CPUの形式的な定義が必要。ラベル付き遷移系は、状態空間とメソッド（ラベル）からなるから、クラスだと…