>>680
＞まだ詳細が整理できていませんが、後で考えてみます

ところで、もう２年も前のことなので、覚えてないかもしれませんが
6-317で、魚スキーさんが、ヒドラゲームとHardyの関係について述べた際
6-321で、5-714さんはレスでCantor normal formに言及されていたので、
そのあたりのことは、お二人の間では共通認識になっているに違いない
と思っていましたが・・・