河野真治 @ 琉球大学情報工学です。

In article <urC2h.89$6c.63@news-virt.s-kddi1.home.ne.jp>, "cafea605" <cafea605@hcn.zaq.ne.jp> writes
> 任意のⅡ類集合Ａに対して｛Ａ｝を与えてＡ＝｛Ａ｝とする。

この、PC9801 依存文字は、いまだに読めん。Unicode にも入って
ないので、もう、一生、読めないな。

この問題って、実は、

    環状構造を持つデータ構造を、
    どうやって、depth first 的に処理するか

とか考えることも出来ます。無限ループしたらアウトなわけだね。

コンピュータ科学的には避ける方法は自明。論理学だと、環状構造
を生成しないように頑張ったりします。型理論は、そういう方向
です。

環状構造を生成した後、探し方を工夫するなんていう方法でも Ok 。
しかも、この程度だと、既に論文もたくさん出ているので、いまさ
ら、追求する気にもなれない。

新しいことを探すのが難しい分野だとも言えるな。

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科