yacc は，上位から下位に値を渡す機能はなさそうだし．．．なんかこの構文みているとPrologぽいから，Prologで動くパーサジェネレータをあたってみるか（って1個もしらない）

論文で出てきた言葉をそのまま写しているだけだから，英語のタイトルばっかり続くけど， attribute grammar というものが論文でしょっちゅうでてくるからメモ．http://www.cs.uiowa.edu/~hzhang/c123/Lecture3.pdfようするに，構文解析結果に意味づけを付加…