SPJ -> SPEの変換を実装