GLのラベル付きシークエント計算