frmal lnguage n. (自然言語に対して, 数学・記号論理学などで用いる)形式言語.