一般型
コマンド、方程式、語尾、解、回復、問題、定義、リクエスト、量子化器、式