CNF活用バックドア(PA-CNF)