変項に自由言語で記述されたオブジェクトを使っていい形式言語