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