けいしき‐げんご【形式言語】 《formal language》自然言語を用いるには適していない記号論理学・コンピュータープログラミングなどの様々な面で活用するために、記号や式によって作られた人工言語。