http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD498.html
ʂ̃TCgɃWv悤ƂĂ܂BXΏL̃NNbNĂ
UPLIFTōLȂő̌܂傤IKȉ{Ct܂I