明示的な定義