（）是一种接近于自然语言和数学公式的程序设计语言。