論理へのアプローチ_論理の具体化