宣言形言語

せんげんがたげんご