private void button_otherInfoExtract_Click(object sender, EventArgs e)
        {
            textInfoExtract textInfoExtract_otherInfoExtract = new textInfoExtract();

            string segmentedText = @richTextBox_otherInfoExtract.Text.Trim();

            textInfoExtract_otherInfoExtract.otherExtract(segmentedText, 2);
        }
        private void button_timeExtract_Click(object sender, EventArgs e)
        {
            textInfoExtract textInfoExtract_readTxtToString_timeExtract = new textInfoExtract();

            string text_timeExtracted = textInfoExtract_readTxtToString_timeExtract.timeExtract(originalText, eventID);

            richTextBox_readTxtToString_timeExtract.Text = "以下为时间抽取结束剩余的微博文本(待分词):\n\n" + text_timeExtracted;
        }