http://www.miv.t.u-tokyo.ac.jp/~yabuki/tip/lisp/unknowable/turing.html
ʂ̃TCgɃWv悤ƂĂ܂BXΏL̃NNbNĂ
UPLIFTōLȂő̌܂傤IKȉ{Ct܂I