From: ttate@... Date: 1998-07-01T20:18:05+09:00 Subject: [ruby-dev:3178] Re: Enumerable#reverse ([ruby-list:8579]) 立石＠JAISTです。 kjana@os.xaxon.ne.jpさん(07月01日19時)： kjana>> ttate@jaist.ac.jp 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 ttate@jaist.ac.jp tateishi@pluto.dti.ne.jp URL http://www.pluto.dti.ne.jp/~tateishi/ Org School of Information Science Japan Advanced Institute of Science and Technology (JAIST)