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