組み合わせロジックを明示的に記述する文法がない