正誤表3
217頁の図9.20の(5)
(これは東芝の勝又さんにご指摘いただきました)
「R2 → ↑C R1」→ 「R2 → ↑+ C R1」
280頁の下から2行目
(これは松下電器の田中さんにご指摘いただきました)
「p'(def(x))∈B またはp'(def(y))∈B なるp'がある」
→
「p'(def(x))∈B またはp'(def(y))∈B またはp'(op(x,y))∈B なるp'がある」