制約の情報の解析と利用

[kmyk]

「入力される変数 x は 0 <= x < MOD を満たすので modint<MOD> 型である」とか「入力される変数 n と列 a_1 ... a_{n-1} と列 b_1 ... b_{n-1} は木を表現している」とか「入力される変数 s は文字 A B のみからなる文字列である」とかの情報を取りたい。これがあると生成結果の品質が向上する。生成された generate.py みたいなのをまったくいじらなくてよくなるとかなりうれしい。

制約の解析はしんどい。場合によってはたぶん古典的な自然言語解析が必要。
手で個別に注釈を与える (interactive にユーザに聞く or ファイルにまとめて書いてもらってそれを読み込む) ことも検討した方がよさそう。