純粋kingと応用king