HTML5のpetten属性によるバリデーションとJavaScriptでの検知