http://www.cecs.uci.edu/~cecs/conference_proceedings/date_2005/zhao_rtlSemantics.PDF
ʂ̃TCgɃWv悤ƂĂ܂BXΏL̃NNbNĂ
UPLIFTōLȂő̌܂傤IKȉ{Ct܂I