>>579
えーと、>>577-578のどのへんがわからないんでしょう?
それとも、チューリング等価性を発見して喜んでるところですか?