JARE的全称：Japanese Antarctic Research Expedition | 中文意思：───日本南极研究探险队
JARE的全称：Java Automated Reasoning Engine (software) | 中文意思：───Java自动推理引擎(软件)
