connect4を集合論プログラミングの例題として使いたいんなら、
まずはconnect4のルールを集合論的に定義するのが先だ。

今のところ1がやってるのは単なる手続き的実装例の移植じゃん。
それで参考になるわけがない。