close #630 make convert function state <-> annotation

いちお、最後の括弧はいらないけど、可読性を考えるとどちらとも言えないね。