From: YANAGAWA Kazuhisa <kjana@...>
Date: 1998-07-01T19:41:05+09:00
Subject: [ruby-dev:3176] Re: Enumerable#reverse ([ruby-list:8579])

in [ruby-dev:3139] Re: Enumerable#reverse ([ruby-list:8579])
 ttate@jaist.ac.jp <ttate@jaist.ac.jp> writes:

> ちなみに、
> 則、全順序 ==> 任意のx,yに対してx,yは比較可能
> 半順序はダメ。

  束ですか（下では lattice っていってますし，多分そうでしょう）？束っ
  て全順序性を仮定しないと思うんですが．上限と下限があればいいですよね？

  # S: set
  # \exist s \in S [\forall x \in S; s > x] \and
  # \exist i \in S [\forall x \in S; i < x]

> hiwada>>失礼、有向グラフを意図してました。到達可能な点の集合の包含関
> hiwada>>係を使ってソート出来るかなと思いました。（もっといい方法があ
> hiwada>>るのかも知れません）
  （略）
> すぐには利用方法は思いつかないです
> ができたら嬉しいかもしれません。

  これって半順序集合オブジェクトを意図しているのでしょうか．トポロジカ
  ルソートができますね．3D グラフィクスを描くのにはちょっと便利かも．

  # ぴんとこない.... 全順序を規定する Comparable に対する半順序と考え
  # た方が論理的な意味は通るけど，文脈的な意味は通らないような．ふむ．

  Sequence と Enumerable で異なっている点を考えると，

    Sequence は要素に順番がある：n 番目の要素を参照する，というメソッ
    ドがありえる
    Enumerable は要素間の順番を仮定しない：値を一つずつ取り出すことし
    かできない

    # どちらも各要素の値としての順序関係とは一般に無関係であることに注
    # 意

  ということになるでしょうか．reverse ができる，っていうのよりは本質的
  ですよね．もっとも別のメールで取り下げられちゃってるので，いまさらこ
  んな事いってもしょうがないんですが．実際 linked list を reverse した
  らやっぱり linked list が返ってきてほしいですし，そうするとモジュー
  ルにするのは無理っぽいんですが．

  # ちなみに parallel each や parallel collect はさらに一般の集合とい
  # うレベルにあった方が好きかも．Enumerable に並列性のイメージって無
  # いんです．私は．

なんだか取り止めも無い文章だ (^^;
===========================================================================
  柳川和久 @ 東大阪市 . 大阪府
  kjana@os.xaxon.ne.jp                                       July 1, 1998
依存の終わり 依存への依存の終わり それは個の誕生