[ruby-dev:3178] Re: Enumerable#reverse ([ruby-list:8579])

立石＠JAISTです。

[e-mail]さん(07月01日19時)：
kjana>> [e-mail] <[e-mail]> writes:
kjana>>
kjana>>> ちなみに、
kjana>>> 則、全順序 ==> 任意のx,yに対してx,yは比較可能
kjana>>> 半順序はダメ。
kjana>>
kjana>>  束ですか（下では lattice っていってますし，多分そうでしょう）？束っ
kjana>>  て全順序性を仮定しないと思うんですが．上限と下限があればいいですよね？
kjana>>
kjana>>  # S: set
kjana>>  # \exist s \in S [\forall x \in S; s > x] \and
kjana>>  # \exist i \in S [\forall x \in S; i < x]

そうです、、、束、、、、m(_ _)m

;; ウソ書いてしまった。(ちょっと反省。)
;; このときちょうど群とか環とか代数のほうで考えて
;; いて久々の代数に頭がごちゃごちゃしてました。

kjana>>> hiwada>>失礼、有向グラフを意図してました。到達可能な点の集合の包含関
kjana>>> hiwada>>係を使ってソート出来るかなと思いました。（もっといい方法があ
kjana>>> hiwada>>るのかも知れません）
kjana>>  （略）
kjana>>> すぐには利用方法は思いつかないです
kjana>>> ができたら嬉しいかもしれません。
kjana>>
kjana>>  これって半順序集合オブジェクトを意図しているのでしょうか．トポロジカ
kjana>>  ルソートができますね．3D グラフィクスを描くのにはちょっと便利かも．

そうなりますね。
3Dグラフィックスは思いつきもしなかったです。

kjana>>なんだか取り止めも無い文章だ (^^;

そうですね。
だんだん理論と実装がかけ離れてきてますね。

;; これを何とかしたいのが僕の目的の一つなのです。(^^;

----------------------------------------------
Name	Takaaki Tateishi
E-Mail 	[e-mail]
	[e-mail]
URL	http://www.pluto.dti.ne.jp/~tateishi/
Org	School of Information Science
	Japan Advanced Institute of Science and Technology (JAIST)