GCR/SE48-66SP 正しさの証明 ヒナ