直観主義様相論理の慣習的な扱いの違いについて