数式定義プロパティ:例